SELP - a system for studying strong equivalence between logic programs (2005)

by Yin Chen , Fangzhen Lin , Lei Li
Venue:In Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning(LPNMR 2005
Citations:12 - 1 self