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
@inproceedings{ JN04:lpnmr_ini, editor = {Lifschitz, Vladimir and Niemel{\"a}, Ilkka}, author = {Janhunen, Tomi and Niemel{\"a}, Ilkka}, publisher = "Springer-Verlag", title = "{G}n{T} -- A Solver for Disjunctive Logic Programs", url = "http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2923&spage=331", booktitle = "Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning", year = "2004", note = "LNAI 2923", flags = "SA-53695,copy,public", address = "Fort Lauderdale, Florida", pages = "331--335" }