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
You can also download the proceedings and its parts from this page:
Maintained by Boris Konev, B.Konev@csc.liv.ac.uk. Last
updated September, 15, 2003.