Bilattices and the semantics of logic programming. (1991)

by M FITTING
Venue:The Journal of Logic Programming