On existential theories of list concatenation
1995 ◽
pp. 294-308
◽