G. Priest Reasoning About Truth. 231-244 1989 39 Artif. Intell. 2 db/journals/ai/ai39.html#Priest89