Managing Structural Information by Higher-Order Colored Unification

Author: Dieter Hutter and Michael Kohlhase

Editor: