Proceedings of the Second International Workshop on the Implementation
                     of Logics 

          Hans de Nivelle, Stephan Schulz (eds.)

Keywords: Implementation of Logics, First Order Theorem Proving,
          Linear Logic, Explicit Substitutions

This volume contains the papers that were accepted for presentation at
the Second International Workshop on the Implementation of Logics. The
workshop took place in Havana, Cuba in December 8th, 2001 in
conjunction with the 8th International Conference on Logic for
Programming, Artificial Intelligence and Reasoning (LPAR 2001). All
contributions were reviewed by an international programm committee,
whose names can be found elsewhere in this volume.