Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. - Geraint A. Wiggins; Alan Bundy; Ina Kraan; Jane Hesketh (LOPSTR, 1991)

Automatic Abduction of Qualitative Models. - Bradley L. Richards; Ina Kraan; Benjamin Kuipers (AAAI, 1992)

Logic Program Synthesis via Proof Planning. - Ina Kraan; David A. Basin; Alan Bundy (LOPSTR, 1992)

Middle-Out Reasoning for Logic Program Synthesis. - Ina Kraan; David A. Basin; Alan Bundy (ICLP, 1993)

A Framework for Program Development Based on Schematic Proof. - David A. Basin; Alan Bundy; Ina Kraan; Seán Matthews (IWSSD, 1993)

Mollusc: A General Proof-Development Shell for Sequent-Based Logics. - Bradley L. Richards; Ina Kraan; Alan Smaill; Geraint A. Wiggins (CADE, 1994)

Logical Frameworks as a Basis for Verification Tools: A Case Study. - Ina Kraan; Peter Baumann (KBSE, 1995)

Implementing Z in Isabelle. - Ina Kraan; Peter Baumann (ZUM, 1995)

Middle-Out Reasoning for Synthesis and Induction. - Ina Kraan; David A. Basin; Alan Bundy (J. Autom. Reason., 1996)

Using the Rippling Heuristic in Set Membership Proofs. - Ina Kraan (ZUM, 1997)