You seem to be attempting to access an item that has been removed from the repository.
There is an alternative version of the item you are trying to access:
Lehmann, Helko and Leuschel, Michael
(2003)
Inductive theorem proving by program specialisation: Generating proofs for Isabelle using Ecce (Invited talk).
Bruynooghe, Maurice
(ed.)
Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, , Uppsala, Sweden.
pp. 1-18
.
Contact ePrints Soton: eprints@soton.ac.uk
ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2
This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.