Anupam Das, Lutz Straßburger. No complete linear term rewriting system for propositional logic. In Maribel Fernández, editor, 26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland. Volume 36 of LIPIcs, pages 127-142, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]
@inproceedings{DasS15-0,
title = {No complete linear term rewriting system for propositional logic},
author = {Anupam Das and Lutz Straßburger},
year = {2015},
doi = {10.4230/LIPIcs.RTA.2015.127},
url = {http://dx.doi.org/10.4230/LIPIcs.RTA.2015.127},
researchr = {https://researchr.org/publication/DasS15-0},
cites = {0},
citedby = {0},
pages = {127-142},
booktitle = {26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland},
editor = {Maribel Fernández},
volume = {36},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-85-9},
}