| Designing Safe, Reliable Systems Using Scade | 45 | 2.22 | 2004 |
| Formal verification methods: getting around the brick wall | 0 | 0.34 | 2002 |
| A Tutorial on Stålmarck's Proof Procedure for Propositional Logic | 62 | 5.24 | 2000 |
| Normalization theorems for full first order classical natural deduction | 20 | 2.67 | 1991 |
| A note on the computational complexity of the pure classical implication calculus | 2 | 0.70 | 1989 |
