Ulrich Hertrampf. Locally Definable Acceptance Types - The Three-Valued Case. In Imre Simon, editor, LATIN 92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings. Volume 583 of Lecture Notes in Computer Science, pages 262-271, Springer, 1992.
Abstract is missing.