BibTeX record: books/daglib/0078955

download as .bib file

@book{DBLP:books/daglib/0078955,
  author    = {Michael Thielscher},
  title     = {Automatisiertes Schlie{\ss}en {\"{u}}ber Kausalbeziehungen mit
               SLDENDF-Resolution},
  series    = {{DISKI}},
  year      = {1995},
  volume    = {76},
  publisher = {Infix},
  isbn      = {978-3-929037-76-0},
  timestamp = {Sat, 20 Sep 2014 20:29:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/books/daglib/0078955},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}