Keyword:watched literal schema

Papers
EasyChair Preprint no. 457