Bart Demoen André Mariën Alain Callebaut Indexing Prolog Clauses. 1001-1012 1989 NACLP db/conf/slp/slp89.html#DemoenMC89