Discovering Classes of Strongly Equivalent Logic Programs (2005)

by F Lin, Y Chen
Venue:Proceedings of the 19th International Joint Conference on Articial Intelligence (IJCAI05