"Type Inference for First-Order Logic."

Aleksy Schubert (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics