Unification with sequence variables and flexible arity symbols and its extension with pattern-terms (2002)

by Temur Kutsia
Venue:In Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, and Volker Sorge, editors, AISC, volume 2385 of LNCS