Constructor-based observational logic. (2006)

by M Bidoit, R Hennicker
Venue:J. Log. Algebr. Program.,