Logic Programming on a Topological Bilattice (1988)

by M Fitting
Venue:Fundamenta Informaticae