de Waal. Deletion of redundant unary type predicates from logic programs (1993)

by J Gallagher, D A
Venue:Proceedings LOPSTR’92