Miroslaw Truszczynski, Stefan Woltran
Relativized Hyperequivalence of Logic Programs for Modular Programming
ICLP, 2008.
@inproceedings{ICLP-2008-TruszczynskiW, author = "Miroslaw Truszczynski and Stefan Woltran", booktitle = "{Proceedings of the 24th International Conference on Logic Programming}", doi = "10.1007/978-3-540-89982-2_48", isbn = "978-3-540-89981-5", pages = "576--590", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Relativized Hyperequivalence of Logic Programs for Modular Programming}", volume = 5366, year = 2008, }