Temur Kutsia. Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms. In Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge, editors, Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings. Volume 2385 of Lecture Notes in Computer Science, pages 290-304, Springer, 2002. [doi]
Abstract is missing.