Detection and optimization of suspension-free logic programs (1994)

by S Debray, D Gudemann, P Bigot
Venue:Proc. Eleventh International Logic Progmmming Symposium