Constrained Term Rewriting tooL.

Cynthia Kop, Naoki Nishida

Browse the full LPAR paper archive.