K. R.  Apt, Gabbrielli, M., and Pedreschi, D., ?A Closer Look at Declarative Interpretations?, J. Log. Program., vol. 28, pp. 147-180, 1996.