Powers90'

BibTeX

@inproceedings{DBLP:conf/dagstuhl/Powers90,
  author    = {David M. W. Powers},
  title     = {Parallel and Efficient Implementation of the Compartmentalized
               Connection Graph Proof Procedure: Resolution to Unification},
  booktitle = {Dagstuhl Seminar on Parallelization in Inference Systems},
  year      = {1990},
  pages     = {210-233},
  crossref  = {DBLP:conf/dagstuhl/1990pis},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dagstuhl/1990pis,
  editor    = {Bertram Fronh{\"o}fer and
               Graham Wrightson},
  title     = {Parallelization in Inference Systems, International Workshop,
               Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings},
  booktitle = {Dagstuhl Seminar on Parallelization in Inference Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {590},
  year      = {1992},
  isbn      = {3-540-55425-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}