Deletion of Redundant Unary Type Predicates from Logic Programs.

John P. Gallagher, D. Andre de Waal

Browse the full LOPSTR paper archive.