Rybina, Tatiana; Voronkov, Andrei A decision procedure for term algebras with queues. (English) Zbl 1171.68557 ACM Trans. Comput. Log. 2, No. 2, 155-181 (2001). Cited in 9 Documents MSC: 68Q65 Abstract data types; algebraic specification 03B25 Decidability of theories and sets of sentences 03C10 Quantifier elimination, model completeness, and related topics 68Q60 Specification and verification (program logics, model checking, etc.) PDFBibTeX XMLCite \textit{T. Rybina} and \textit{A. Voronkov}, ACM Trans. Comput. Log. 2, No. 2, 155--181 (2001; Zbl 1171.68557) Full Text: DOI