Arnon Avron Agata Ciabattoni Anna Zamansky Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. 26-37 2009 CSR http://dx.doi.org/10.1007/978-3-642-03351-3_5 conf/csr/2009 db/conf/csr/csr2009.html#AvronCZ09