Modular Equivalence for Normal Logic Programs (2006)
AUTHORS:
Oikarinen Emilia
,
Janhunen Tomi
BOOKTITLE:
Proceedings of the 11th International Workshop on Nonmonotonic Reasoning
PAGES:
10--18
URL:
http://www.in.tu-clausthal.de/forschung/technical-reports/
@inproceedings{ OJ06:nmr, editor = {Dix, J{\"u}ergen and Hunter, Anthony}, author = "Oikarinen, Emilia and Janhunen, Tomi", publisher = "University of Clausthal, Department of Informatics, Technical Report, IfI-06-04", title = "Modular Equivalence for Normal Logic Programs", url = "http://www.in.tu-clausthal.de/forschung/technical-reports/", booktitle = "Proceedings of the 11th International Workshop on Nonmonotonic Reasoning", address = "Lake District, UK", month = "May", flags = "copy,ACPT", year = "2006", pages = "10--18" }