@book{DBLP:books/infix/Eusterbrock92,
  author    = {Jutta Eusterbrock},
  title     = {Wissensbasierte Verfahren zur Synthese mathematischer Beweise:
               Eine kombinatorische Anwendung},
  publisher = {Infix Verlag, St. Augustin, Germany},
  series    = {DISKI},
  volume    = {10},
  year      = {1992},
  isbn      = {3-929037-10-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}