Automatic Mode Inference for Logic Programs (1988)

by Saumya K. Debray, David S. Warren
Venue:Journal of Logic Programming