Number | Title | Name(s) | Pages | |
---|---|---|---|---|
91-216 | Algebraic terminological representation | Schmidt | 113 | |
91-211 | Natural semantics and some of its meta-theory in Elf | Michaylov, Pfenning | 26 | |
91-209 | Associative-commutative reduction orderings | Bachmair | 7 | |
91-208 | Rewrite-based equational theorem proving with selection and simplification | Bachmair, Ganzinger | 24 |