Managing Structural Information by Higher-Order Colored Unification (1999)

by Dieter Hutter , Michael Kohlhase
Venue:JOURNAL OF AUTOMATED REASONING
Citations:7 - 5 self