4th International Workshop on the Implementation of Logics. Proceedings

Slides of an invited talk given by Stephan Schulz can be found here

All papers in one big pdf file (~1.5Mb) are available as technical report ULCS-03-018 of the University of Liverpool here.

You can also download the proceedings and its parts from this page:

Maintained by Boris Konev, B.Konev@csc.liv.ac.ukLast updated September, 15, 2003.