Observational logic (1999)

by Rolf Hennicker, Michel Bidoit
Venue:In Proc. 7th Int. Conf. Algebraic Methodology and Software Technology (AMAST’98), Amazonia