Detection and Optimization of Suspension-free Logic Programs (1994)

by S Debray, D Gudeman, P Bigot
Venue:In ILPS’94