John P. Gallagher, D. Andre de Waal
Deletion of Redundant Unary Type Predicates from Logic Programs
LOPSTR, 1992.
@inproceedings{LOPSTR-1992-GallagherW,
author = "John P. Gallagher and D. Andre de Waal",
booktitle = "{Proceedings of the Second International Workshop on Logic Program Synthesis and Transformation}",
isbn = "['3-540-19806-7', '0-387-19806-7']",
pages = "151--167",
publisher = "{Springer-Verlag}",
series = "{Workshops in Computing}",
title = "{Deletion of Redundant Unary Type Predicates from Logic Programs}",
year = 1992,
}