RELATIONAL STRING VERIFICATION USING MULTI-TRACK AUTOMATA2011-12-010 PRE AI DOI:10.1142/s0129054111009112OriginalOriginal request for helpShareSaveAbstract En