Truszczynski99'

BibTeX

@inproceedings{DBLP:conf/iclp/Truszczynski99,
  author    = {Miroslaw Truszczynski},
  title     = {Computing Large and Small Stable Models},
  booktitle = {ICLP},
  year      = {1999},
  pages     = {169-183},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}