Answer Set Solving with Lazy Nogood Generation. Drescher, C. and Walsh, T. In pages 188-200.
bibtex   
@InProceedings{	  drewal12a,
  author	= "C. Drescher and T. Walsh",
  title		= "Answer Set Solving with Lazy Nogood Generation",
  pages		= "188-200",
  crossref	= "iclp-lipics12"
}
Downloads: 0