Keyword:Logical Entailment

Publications
EasyChair Preprint 2185