Two Proof Procedures for a Cardinality Based Language in Propositional Calculus.

Belaid Benhamou, Lakhdar Sais, Pierre Siegel

Browse the full STACS paper archive.