Syntactic Theories and Unification

Claude Kirchner, Francis Klay

Browse the full LICS paper archive.