#### DMCA

## A Finite Presentation Theorem for Approximating Logic Programs (1990)

by
Nevin Heintze
,
Joxan Jaffar

Venue: | In Seventeenth Annual ACM Symposium on Principles of Programming Languages |

Citations: | 101 - 15 self |