Discovering Classes of Strongly Equivalent Logic Programs

Fangzhen Lin, Yin Chen. Discovering Classes of Strongly Equivalent Logic Programs. J. Artif. Intell. Res. (JAIR), 28:431-451, 2007. [doi]

Abstract

Abstract is missing.