Translated title of the contribution | Deletion of redundant unary type predicates from logic programs |
---|---|
Original language | English |
Publisher | University of Bristol |
Number of pages | 19 |
Publication status | Published - 1992 |
Deletion of redundant unary type predicates from logic programs
JP Gallagher, DA De Waal
Research output: Working paper