, ,
north-holland
Journal of Logic Programming
Networks and Optimization

Apt, K., Gabbrielli, M., & Pedreschi, D. (1996). A closer look at declarative interpretations. Journal of Logic Programming, 28(2), 147–180.