This is a Java implementation of the algorithm G(R) described in:
Part of the Library of Unification and Anti-Unification Algorithms.
Input Syntax:
|
Authors: | Alexander Baumgartner and David Cerna | |
Projects: | SToUT - Symbolic Computation Techniques for Unranked Terms GALA - Generalization Algorithms and Applications |