GnT -- A Solver for Disjunctive Logic Programs (2004)

AUTHORS:

Janhunen Tomi , Niemelä Ilkka

  • BOOKTITLE:
  • PAGES:
  • 331-335

URL:
http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2923&spage=331