@Proceedings{NS:IWIL-2001,
  title = 	 {{Proceedings of the Second International Workshop on
                  the Implementation of Logics}},
  year = 	 2001,
  editor =	 {H. {de Nivelle} and S. Schulz},
  number =	 {MPI-I-2001-2-006},
  series =	 {Forschungsberichte des Max-Planck-Instituts f{\"u}r
                  Informatik}
}