DoniniLMS02'

BibTeX

@inproceedings{DBLP:conf/kr/DoniniLMS02,
  author    = {Francesco M. Donini and
               Paolo Liberatore and
               Fabio Massacci and
               Marco Schaerf},
  title     = {Solving QBF by SMV},
  booktitle = {KR},
  year      = {2002},
  pages     = {578-592},
  crossref  = {DBLP:conf/kr/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/kr/2002,
  editor    = {Dieter Fensel and
               Fausto Giunchiglia and
               Deborah L. McGuinness and
               Mary-Anne Williams},
  title     = {Proceedings of the Eights International Conference on Principles
               and Knowledge Representation and Reasoning (KR-02), Toulouse,
               France, April 22-25, 2002},
  booktitle = {KR},
  publisher = {Morgan Kaufmann},
  year      = {2002},
  isbn      = {1-55860-554-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}