Bidoit: Observational logic (long version). www.lsv.enscachan.fr/Publis/RAPPORTS_LSV (0)

by R Hennicker, M