"Type Inference in Logic Programming Context."

Cedric Luiz de Carvalho, Eduardo Costa Pereira, Rita Maria da Silva Julia (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics