Debray, S. K. and Warren, D. S., Automatic Mode Inference for Logic Programs, J. Logic Programming, 5 207-229 (1988).
author author author author author author author title title title title title title journal journal journal volume pages date