Marc Fuchs, Dirk Fuchs, Matthias Fuchs. Generating Lemmas for Tableau-based Proof Search Using Genetic Programming. In Wolfgang Banzhaf, Jason M. Daida, A. E. Eiben, Max H. Garzon, Vasant Honavar, Mark J. Jakiela, Robert E. Smith, editors, Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 1999), 13-17 July 1999, Orlando, Florida, USA. pages 1027-1032, Morgan Kaufmann, 1999.
Abstract is missing.