On Normal Forms and Equivalence for Logic Programs (1992)

Cached

Download Links

by James Harland
Venue:Proceedings of the Joint International Conference and Symposium on Logic Programming
Citations:8 - 7 self