Partial models and logic programming, Theoret (1987)

by M C Fitting
Venue:Comput. Sci