Keyword:equational theories

Publications
A SAT Attack on Tarski's High School Algebra Problem Bernardo Subercaseaux and Benjamin Przybocki In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Hierarchical Combination of Unication Algorithms (Extended Abstract) Serdar Erbatur, Deepak Kapur, Andrew M Marshall, Paliath Narendran and Christophe Ringeissen In:UNIF 2013. 27th International Workshop on Unification