Canonical Inference for Implicational Systems ⋆

by Maria Paola Bonacina
Citations:2 - 2 self