Conflict-driven ASP solving with external sources. Eiter, T., Fink, M., Krennwallner, T., & Redl, C. Theory and Practice of Logic Programming, 12(4-5):659-679, 2012.
bibtex   
@Article{	  eifikrre12a,
  author	= "T. Eiter and M. Fink and T. Krennwallner and C. Redl",
  title		= "Conflict-driven {ASP} solving with external sources",
  journal	= tplp,
  volume	= 12,
  number	= "4-5",
  year		= 2012,
  pages		= "659-679"
}
Downloads: 0