Combinatorically Restricted Higher Order Anti-Unification.

An Application to Programming by Analogy

!!! STILL UNDER CONSTRUCTION, DOCUMENTATION WILL FOLLOW SOON !!!



Ulrich Wagner 14.05.02