Dominique Perrin, Paul E. Schupp
Automata on the Integers, Recurrence Distinguishability, and the Equivalence and Decidability of Monadic Theories
LICS, 1986.
@inproceedings{LICS-1986-PerrinS,
author = "Dominique Perrin and Paul E. Schupp",
booktitle = "{Proceedings of the First Symposium on Logic in Computer Science}",
isbn = "0-8186-0720-3",
pages = "301--304",
publisher = "{IEEE Computer Society}",
title = "{Automata on the Integers, Recurrence Distinguishability, and the Equivalence and Decidability of Monadic Theories}",
year = 1986,
}