Walther87'

BibTeX

@book{DBLP:books/mk/Walther87,
  author    = {Christoph Walther},
  title     = {A Many-Sorted Calculus Based on Resolution and Paramodulation},
  publisher = {Pitman / Morgan Kaufmann},
  year      = {1987},
  isbn      = {0-273-08718-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}