| 1997 |
|---|
| 10 | | Ina Kraan:
Using the Rippling Heuristic in Set Membership Proofs.
ZUM 1997: 135-147 |
| 1996 |
|---|
| 9 | | Ina Kraan,
David A. Basin,
Alan Bundy:
Middle-Out Reasoning for Synthesis and Induction.
J. Autom. Reasoning 16(1-2): 113-145 (1996) |
| 1995 |
|---|
| 8 | | Ina Kraan,
Peter Baumann:
Logical Frameworks as a Basis for Verification Tools: A Case Study.
KBSE 1995: 36-43 |
| 7 | | Ina Kraan,
Peter Baumann:
Implementing Z in Isabelle.
ZUM 1995: 355-373 |
| 1994 |
|---|
| 6 | | Bradley L. Richards,
Ina Kraan,
Alan Smaill,
Geraint A. Wiggins:
Mollusc: A General Proof-Development Shell for Sequent-Based Logics.
CADE 1994: 826-830 |
| 1993 |
|---|
| 5 | | Ina Kraan,
David A. Basin,
Alan Bundy:
Middle-Out Reasoning for Logic Program Synthesis.
ICLP 1993: 441-455 |
| 4 | | David A. Basin,
Alan Bundy,
Ina Kraan,
Seán Matthews:
A Framework for Program Development Based on Schematic Proof.
IWSSD 1993: 162-171 |
| 1992 |
|---|
| 3 | | Bradley L. Richards,
Ina Kraan,
Benjamin Kuipers:
Automatic Abduction of Qualitative Models.
AAAI 1992: 723-728 |
| 2 | | Ina Kraan,
David A. Basin,
Alan Bundy:
Logic Program Synthesis via Proof Planning.
LOPSTR 1992: 1-14 |
| 1991 |
|---|
| 1 | | Geraint A. Wiggins,
Alan Bundy,
Ina Kraan,
Jane Hesketh:
Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof.
LOPSTR 1991: 27-45 |
