John Fisher, Marc Bezem. Skolem Machines and Geometric Logic. In Cliff B. Jones, Zhiming Liu, Jim Woodcock, editors, Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings. Volume 4711 of Lecture Notes in Computer Science, pages 201-215, Springer, 2007. [doi]
Abstract is missing.