Generalized sufficient conditions for modular termination of rewriting Bernhard Gramlich OriginalPaper Pages: 131 - 158
A declarative approach for first-order built-in's of Prolog Krzysztof R. AptElena MarchioriCatuscia Palamidessi OriginalPaper Pages: 159 - 191
Refutational theorem proving for hierarchic first-order theories Leo BachmairHarald GanzingerUwe Waldmann OriginalPaper Pages: 193 - 212