Logic program specialisation with deletion of useless clauses (1993)

by A Waal, J Gallagher
Venue:In Proceedings of the 1993 International Symposium on Logic Programming