Type Dependencies for Logic Programs using ACI-unification (1996)

Cached

Download Links

by Michael Codish , Vitaly Lagoon
Venue:In Proceedings of the 1996 Israeli Symposium on Theory of Computing and Systems
Citations:43 - 8 self