Ulf Nilsson. Systematic Semantic Approximations of Logic Programs. In Pierre Deransart, Jan Maluszynski, editors, Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP 90, Linköping, Sweden, August 20-22, 1990, Proceedings. Volume 456 of Lecture Notes in Computer Science, pages 293-306, Springer, 1990.