Constrained Term Rewriting tooL2015-01-010 PRE AI DOI:10.1007/978-3-662-48899-7_38OriginalOriginal request for helpShareSaveAbstract En