1. Vardi, M.Y., Wolper, P.: An automata-theoretic approach to automatic program verification. In: Proceedings of the First Symposium on Logic in Computer Science, pp. 322–331. IEEE (1986)
2. Lecture Notes in Computer Science;AP Sistla,1985
3. Lecture Notes in Computer Science;M Heizmann,2014
4. Oei, R., Ma, D., Schulz, C., Hieronymi, P.: Pecan: an automated theorem prover for automatic sequences using büchi automata. CoRR abs/2102.01727 (2021)
5. Hieronymi, P., Ma, D., Oei, R., Schaeffer, L., Schulz, C., Shallit, J.O.: Decidability for Sturmian words. CoRR abs/2102.08207 (2021)