Nathan Goodman Steve Rozen Lincoln Stein Requirements for a Deductive Query Language in a Genome-Mapping Database. 259-278 1993 Workshop on Programming with Logic Databases (Book), ILPS db/conf/deductive/deductive93-book.html#GoodmanRS93