Decision Procedures for Sequence Theories

Artur Jeż, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer