"Directional Type Inference for Logic Programs."

Witold Charatonik, Andreas Podelski (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics