| |
| 2006 | ||
|---|---|---|
| 3 | EE | Ian Wehrman, Aaron Stump, Edwin M. Westbrook: Slothrop: Knuth-Bendix Completion with a Modern Termination Checker. RTA 2006: 287-296 |
| 2 | EE | Ian Wehrman, Aaron Stump: Mining Propositional Simplification Proofs for Small Validating Clauses. Electr. Notes Theor. Comput. Sci. 144(2): 79-91 (2006) |
| 2005 | ||
| 1 | EE | Edwin M. Westbrook, Aaron Stump, Ian Wehrman: A language-based approach to functionally correct imperative programming. ICFP 2005: 268-279 |
| 1 | Aaron Stump | [1] [2] [3] |
| 2 | Edwin M. Westbrook | [1] [3] |