Partial Models and Logic Programming

Melvin Fitting. Partial Models and Logic Programming. Theoretical Computer Science, 48(3):229-255, 1986.

Abstract

Abstract is missing.