Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming (1989)

by T C Przymusinski
Venue:In