Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms.

Temur Kutsia

Browse the full AISC paper archive.