Bruno Buchberger, Teimuraz Kutsia,
"Predicate Logic with Sequence Variables and Sequence Function Symbols"
, Serie RISC Report Series, Nummer 05-17, RISC, Univ. of Linz, Austria, 2005
Original Titel:
Predicate Logic with Sequence Variables and Sequence Function Symbols