Teimuraz Kutsia,
"Matching in Flat Theories"
, in J. Levy, M. Kohlhase, J. Niehren, M. Villaret: Proceedings of the 17th International Workshop on Unification, Seite(n) 57-64, 2003, ISBN: 84-96221-00-8
Original Titel:
Matching in Flat Theories
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 17th International Workshop on Unification