Temur Kutsia. Theorem Proving with Sequence Variables and Flexible Arity Symbols. In Matthias Baaz, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings. Volume 2514 of Lecture Notes in Computer Science, pages 278-291, Springer, 2002. [doi]
@inproceedings{Kutsia02,
title = {Theorem Proving with Sequence Variables and Flexible Arity Symbols},
author = {Temur Kutsia},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2514/25140278.htm},
researchr = {https://researchr.org/publication/Kutsia02},
cites = {0},
citedby = {0},
pages = {278-291},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings},
editor = {Matthias Baaz and Andrei Voronkov},
volume = {2514},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-00010-0},
}