An Abstract Machine for SLG Resolution: Definite Programs (1994)

Cached

Download Links

by Terrance Swift , David S. Warren
Venue:In Proceedings of the Symposium on Logic Programming
Citations:35 - 13 self