Partial Unification for Graph Based Equational Reasoning.

Karl-Hans Blsius, Jrg H. Siekmann

Browse the full CADE paper archive.