Detection and Optimization of Suspension-Free Logic Programs

Saumya K. Debray, David Gudeman, Peter A. Bigot. Detection and Optimization of Suspension-Free Logic Programs. Journal of Logic and Algebraic Programming, 29(1-3):171-194, 1996.

Abstract

Abstract is missing.