Extending and implementing the stable model semantics. Simons, P.; Niemelä, I.; and Soininen, T. Artificial Intelligence, 138(1-2):181-234, 2002.
bibtex   
@Article{	  siniso02a,
  author	= "P. Simons and I. Niemelä and T. Soininen",
  title		= "Extending and implementing the stable model semantics",
  journal	= aij,
  year		= 2002,
  volume	= 138,
  number	= "1-2",
  pages		= "181-234"
}
Downloads: 0