 | 2011 |
|---|
| 5 |       | Maria Paola Bonacina,
Moa Johansson:
On Interpolation in Decision Procedures.
TABLEAUX 2011: 1-16 |
| 4 | | Moa Johansson,
Lucas Dixon,
Alan Bundy:
Conjecture Synthesis for Inductive Theories.
J. Autom. Reasoning 47(3): 251-289 (2011) |
| 2010 |
|---|
| 3 | | Moa Johansson,
Lucas Dixon,
Alan Bundy:
Case-Analysis for Rippling and Inductive Proof.
ITP 2010: 291-306 |
| 2 | | Moa Johansson,
Lucas Dixon,
Alan Bundy:
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery.
Verification, Induction, Termination Analysis 2010: 102-116 |
| 2006 |
|---|
| 1 | | Moa Johansson,
Alan Bundy,
Lucas Dixon:
Best-First Rippling.
Reasoning, Action and Interaction in AI Theories and Systems 2006: 83-100 |
Data released under the ODC-BY 1.0 license — See also our legal information page