Subject: Paper on proof
From: "S.J.Thompson" <[email-masked]>
To: [email-masked]
Cc: [email-masked]
Date: Fri, 4 Nov 2005 16:17:19 +0000 (GMT)

Wolfgang - introductory paper attached. Bib details at

  http://www.cs.kent.ac.uk/pubs/1999/919/

Simon

-----------------------------------------------------------------------
Simon Thompson                                  [email-masked]
Director and Professor of Logic and Computation
Computing Laboratory                             phone: +44-1227-823820
University of Kent                               fax:   +44-1227-762811
Canterbury, Kent
CT2 7NF, UK                                     www.cs.kent.ac.uk/~sjt/
-----------------------------------------------------------------------