Unification with sequence variables and flexible arity symbols and its extension with pattern-terms
|Title||Unification with sequence variables and flexible arity symbols and its extension with pattern-terms|
|Booktitle||Artificial Intelligence, Automated Reasoning, and Symbolic Computation|
|Series||Lecture Notes in Artificial Intelligence|
A minimal and complete unification procedure for a theory with individual and sequence variables, free constants and free fixed and flexible arity function symbols is described and a brief overview of an extension with pattern-terms is given.