First-order theories for pure Prolog programs with negation Robert F. Stärk OriginalPaper Pages: 113 - 144