DMCA

On Modular Translations and Strong Equivalence

Cached

Download Links

by Paolo Ferraris
Venue:Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-05), volume 3552 of LNCS, 79–91
Citations:4 - 0 self