"Deletion of Redundant Unary Type Predicates from Logic Programs."

John P. Gallagher, D. Andre de Waal (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics