Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip D. Welch. Comparing Inductive and Circular Definitions: Parameters, Complexity and Games. Studia Logica, 81(1):79-98, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.