On Modular Translations and Strong Equivalence (2005)

by P Ferraris
Venue:In Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’05), volume 3552 of LNCS