Hélène Kirchner;Christophe Ringeissen
-;-
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Unions of non-disjoint theories and combinations of satisfiability procedures
Theoretical Computer Science