"Logic Programming with Polymorphically Order-Sorted Types."

Gert Smolka (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics