Strong Equivalence of Logic Programs with Abstract Constraint Atoms.

Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemel, Jia-Huai You

Browse the full LPNMR paper archive.