Kazuo Iwano, Kenneth Steiglitz. Testing for Cycles in Infinite Graphs with Periodic Structure (Extended Abstract). In Proceedings of the Nineteenth Annual ACM Symposium on Theory of Computing, 25-27 May 1987, New York City, NY, USA. pages 46-55, ACM, 1987.
Abstract is missing.