"Automatic Mode Inference for Logic Programs."

Saumya K. Debray, David Scott Warren (1988)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics