Christoph Weidenbach, Patrick Wischnewski. Contextual Rewriting in SPASS. In Boris Konev, Renate A. Schmidt, Stephan Schulz, editors, Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008. Volume 373 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
@inproceedings{WeidenbachW08,
title = {Contextual Rewriting in SPASS},
author = {Christoph Weidenbach and Patrick Wischnewski},
year = {2008},
url = {http://ceur-ws.org/Vol-373/paper-10.pdf},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/WeidenbachW08},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
editor = {Boris Konev and Renate A. Schmidt and Stephan Schulz},
volume = {373},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}