Boström H. and Idestam-Almquist P., ``Specialization of Logic Programs by Pruning SLD-trees'', Proc. of the Fourth International Workshop on Inductive Logic Programming, volume 237 of GMD-Studien, Gesellschaft für Mathematik und Datenverarbeitung MBH (1994) 31-48

Languages mentioned

• SPECTRE {1994}