L.: SELP - A System for Studying Strong Equivalence Between Logic Programs (2005)

by Y Chen, F Lin, Li
Venue:In Proc. LPNMR 2005. Volume 3552 of LNAI