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

by R F Stärk
Venue:Archive for Mathematical Logic