Podelski, A. (1997). Set-Based Analysis of Logic Programs and Reactive Logic Programs. In J., Maluszynski (Ed.), Proceedings of the International Symposium on Logic Programming (ILPS-14) (pp. 35-36). Cambridge, USA: MIT Press.