First-order theories for pure Prolog programs with negation (1995)

Cached

Download Links

by Robert F. Stärk
Venue:Archive for Mathematical Logic
Citations:4 - 4 self