Michel Bidoit Rolf Hennicker Alexander Kurz Observational logic, constructor-based logic, and their duality. 471-510 2003 3 Theor. Comput. Sci. 298 http://dx.doi.org/10.1016/S0304-3975(02)00865-4 db/journals/tcs/tcs298.html#BidoitHK03