Cycle Unification.

Wolfgang Bibel, Steffen Hlldobler, Jrg Wrtz

Browse the full CADE paper archive.