David Scott Warren Programming the PTQ Grammar in XSB. 111-123 1993 Workshop on Programming with Logic Databases (Informal Proceedings), ILPS db/conf/deductive/deductive93.html#Warren93a