This is a Java implementation of the algorithm G(R) described in:
Part of the Library of Unification and Anti-Unification Algorithms.
Input Syntax:
|
Author: | Alexander Baumgartner | |
Project: | SToUT - Symbolic Computation Techniques for Unranked Terms |