@book{DBLP:books/infix/Homann97,
  author    = {Karsten Homann},
  title     = {Symbolisches L{\"o}sen mathematischer Probleme durch Kooperation
               algorithmischer und logischer Systeme},
  publisher = {Infix Verlag, St. Augustin, Germany},
  series    = {DISKI},
  volume    = {152},
  year      = {1997},
  isbn      = {3-89601-152-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}