Theorem Proving with Sequence Variables and Flexible Arity Symbols.

Temur Kutsia

Browse the full LPAR paper archive.