Mark van den Brand, Paul Klint, Chris Verhoef
Term rewriting for sale
WRLA, 1998.
@article{WRLA-1998-BrandKV, author = "Mark van den Brand and Paul Klint and Chris Verhoef", doi = "10.1016/S1571-0661(05)80014-3", journal = "{Electronic Notes in Theoretical Computer Science}", pages = "218--241", title = "{Term rewriting for sale}", volume = 15, year = 1998, }