Discovering Classes of Strongly Equivalent Logic Programs (2005)

by F Lin, Y Chen
Venue:In Proc. IJCAI’05