**Using Abstractions**

F. Giunchiglia, T. Walsh

electronic copy-
**Coloured Rippling:an extension of a theorem proving heuristic**

T. Yoshida, A. Bundy, I. Green, T. Walsh, D. Basin

electronic copy -
**Automating the synthesis of functional programs in constructive type theory**

A. Smaill, I. Green

electronic copy -
**Automatic changes of data type in functional programs**

J. Richardson

electronic copy -
**Guiding proof search in logical frameworks with rippling**

S. Negrete, A. Smaill

electronic copy -
**From meta-level tactics to object-level programs**

C. Horn, A. Smaill

electronic copy -
**Rippling on relational structures**

V. Lombart, Y. Deville

electronic copy -
**Mollusc--a general proof-development shell for sequent-based logics**

B. Richards, I. Kraan, A. Smaill, G. Wiggins

electronic copy -
**How not to do it**

I. Gent, T. Walsh

electronic copy -
**The satisfiability constraint gap**

I. Gent, T. Walsh

electronic copy -
**The hardest random SAT problem**

I. Gent, T. Walsh

electronic copy -
**The SAT phase transition**

I. Gent, T. Walsh

electronic copy -
**A proof environment for arithmetic with the Omega rule**

S. Baker, A. Smaill

electronic copy -
**Easy problems are sometimes hard**

I. Gent, T. Walsh

electronic copy -
**Middle-out reasoning for logic program synthesis**

I. Kraan, D. Basin, A. Bundy

electronic copy -
**An empirical analysis of search in GSAT**

I. Gent, T. Walsh

electronic copy -
**Towards an understanding of hill-climbing procedures for SAT**

I. Gent, T. Walsh

electronic copy -
**Using failure to guide inductive proof**

A. Ireland, A. Bundy

electronic copy -
**Computing belief revision**

B. Berendt, A. Smaill

electronic copy -
**The enigma of SAT hill-climbing procedures**

I. Gent, T. Walsh

electronic copy -
**Logic Program Synthesis via Proof Planning**

I. Kraan, D. Basin, A. Bundy

electronic copy -
**The use of planning critics in mechanizing inductive proofs**

A. Ireland

electronic copy -
**An adaptation of proof-planning to declarer play in bridge**

I. Frank, D. Basin, A. Bundy

electronic copy -
**Rippling: a heuristic for guiding inductive proofs**

A. Bundy, A. Stevens, F. van Harmelen, A. Ireland, A. Smaill

electronic copy -
**Representing music symbolically**

M. Harris, A. Smaill, G. Wiggins

electronic copy -
**On the use of the constructive Omega-Rule within automated deduction**

S. Baker, A. Ireland, A. Smaill

electronic copy -
**The Boyer-Moore prover and NuPrl: an experimental comparison**

D. Basin, M. Kaufmann

electronic copy -
**Using Abstractions**

F. Giunchiglia, T. Walsh

electronic copy -
**Using middle-out reasoning to transform naive programs into tail-recursive ones**

J. Hesketh, A. Bundy, A. Smaill

electronic copy -
**The use of proof plans for normalization**

A. Bundy

electronic copy -
**The synthesis of logic programs from inductive proofs**

A. Bundy

electronic copy -
**The use of abstraction in automatic inference**

F. Giunchiglia, T. Walsh

electronic copy -
**A Science of Reasoning**

A. Bundy

electronic copy -
**A rational reconstruction and extension of recursion analysis**

A. Bundy, F. van Harmelen, J. Hesketh, A. Smaill, A. Stevens

electronic copy -
**The specialization and transformation of constructive existence proofs**

P. Madden

electronic copy -
**Experiments with proof plans for induction**

A. Bundy, F. van Harmelen, J. Hesketh, A. Smaill

electronic copy -
**The specialization of constructive existence proofs**

P. Madden

electronic copy -
**A Recursive Techniques Editor for Prolog**

A. Bundy, G. Grosse, P. Brna

electronic copy -
**Automatic program optimization via the transformation of NuPrl synthesis proofs**

P. Madden

electronic copy -
**Relational Rippling: A general approach**

V. Lombart, A. Bundy

electronic copy -
**The use of explicit plans to guide inductive proofs**

A. Bundy

electronic copy -
**Automating the synthesis of decision procedures**

A. Armando, J. Gallacher, A. Smaill

electronic copy -
**The use of non-realist semantics within knowledge representation**

A. Smaill

electronic copy