Keyword:dependency graph

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