Paraconsistent logic programming (1989)

by H A Blair, V S Subrahmanian
Venue:Theoretical Computer Science