Three-valued formalizations of non-monotonic reasoning and logic programming (1989)

by Teodor Przymusinski
Venue:Proc. of the First Int'l Conf. on Principles of Knowledge Representation and Reasoning