*Result*: Constrained Term Rewriting tooL.
Title:
Constrained Term Rewriting tooL.
Authors:
Source:
Logic for Programming, Artificial Intelligence & Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings; 2015, p549-557, 9p
Database:
Complementary Index