Observational logic, constructor-based logic, and their duality. (2003)

by M Bidoit, R Hennicker, A Kurz
Venue:Theoretical Computer Science,