## Stem superdeduct$ (all stems)

### 3 papers:

- IJCAR-2012-JacquelBDD #automation #deduction #modulo theories #proving #theorem proving #using #verification
- Tableaux Modulo Theories Using Superdeduction — An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover (MJ, KB, DD, CD), pp. 332–338.
- LICS-2008-Burel #deduction #first-order #representation #type system #using
- A First-Order Representation of Pure Type Systems Using Superdeduction (GB), pp. 253–263.
- LICS-2007-BraunerHK #deduction
- Principles of Superdeduction (PB, CH, CK), pp. 41–50.