Managing Structural Information by Higher-Order Colored Unification

Autor: Dieter Hutter and Michael Kohlhase

Herausgeber: