SELP - A System for Studying Strong Equivalence Between Logic Programs.

Yin Chen, Fangzhen Lin, Lei Li

Browse the full LPNMR paper archive.