Michel Bidoit, Rolf Hennicker, Alexander Kurz. Observational logic, constructor-based logic, and their duality. Theoretical Computer Science, 3(298):471-510, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.