Paper: Inference Rules for Rewrite-Based First-Order Theorem Proving (at LICS 1987)
Authors: Leo Bachmair Nachum DershowitzAbstract
No Abstract Available
BibTeX
@InProceedings{BachmairDershowitz-InferenceRulesforRe, author = {Leo Bachmair and Nachum Dershowitz}, title = {Inference Rules for Rewrite-Based First-Order Theorem Proving}, booktitle = {Proceedings of the Second Annual IEEE Symp. on Logic in Computer Science, {LICS} 1987}, year = 1987, editor = {David Gries}, month = {June}, pages = {331--337}, location = {Ithaca, NY, USA}, publisher = {IEEE Computer Society Press} }