Was the paper 'Directional Resolution: The Davis-Putnam Procedure, Revisited' not published by Rina D. in KR?
Has the paper 'Directional Resolution: The Davis-Putnam Procedure, Revisited' not been published by Rina Dechter in International Conference on the Principles of Knowledge Representation and Reasoning?
ASK { <https://dblp.org/rec/conf/kr/DechterR94> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/d/RDechter> . <https://dblp.org/rec/conf/kr/DechterR94> <https://dblp.org/rdf/schema#publishedIn> 'KR' FILTER NOT EXISTS { <https://dblp.org/rec/conf/kr/DechterR94> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/d/RDechter> . <https://dblp.org/rec/conf/kr/DechterR94> <https://dblp.org/rdf/schema#publishedIn> 'KR' } }
<https://dblp.org/pid/d/RDechter> <https://dblp.org/rec/conf/kr/DechterR94>