DBLP BibTeX Record 'books/daglib/0078955'

@book{DBLP:books/daglib/0078955,
  author    = {Michael Thielscher},
  title     = {Automatisiertes Schlie{\ss}en {\"u}ber Kausalbeziehungen
               mit SLDENDF-Resolution},
  publisher = {Infix},
  series    = {DISKI},
  volume    = {76},
  year      = {1995},
  isbn      = {978-3-929037-76-0},
  pages     = {I-XIV, 1-218},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}