1956
2 works on record
Satisfiability problem
A unified architecture for web-based interfaces to scientific databases