Hervé Gallaire Logic Programming: Further Developments. 88-96 1985 SLP db/conf/slp/slp85.html#Gallaire85