Keyword:proof of literal

Papers
Syntactic Conditions for Antichain Property in Consistency Restoring Prolog Vu Phan EasyChair Preprint no. 176