David Scott Warren Programming the PTQ Grammar in XSB. 217-234 1993 Workshop on Programming with Logic Databases (Book), ILPS db/conf/deductive/deductive93-book.html#Warren93