3rd International Workshop on the Implementation of Logics. Proceedings.
October, 2002, Tbilisi, Georgia

Here are some of the final versions in electronic format: Back to WIL 2002 home page.