Answer Set Programming Modulo Acyclicity. Bomanson, J.; Gebser, M.; Janhunen, T.; Kaufmann, B.; and Schaub, T. In pages 143-150.
bibtex   
@InProceedings{	  bogejakasc15a,
  author	= "J. Bomanson and M. Gebser and T. Janhunen and B. Kaufmann
		  and T. Schaub",
  title		= "Answer Set Programming Modulo Acyclicity",
  crossref	= "lpnmr15",
  pages		= "143-150"
}
Downloads: 0