Partial models and logic programming (1986)

by M Fitting
Venue:Theoretical Computer Science