Systematic Semantic Approximations of Logic Programs

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.

Abstract

Abstract is missing.