A Finite Presentation Theorem for Approximating Logic Programs (1990)

Cached

Download Links

by Nevin Heintze , Joxan Jaffar
Venue:In Seventeenth Annual ACM Symposium on Principles of Programming Languages
Citations:94 - 15 self