Have the authors of the paper 'Experiments on Supporting Interactive Proof Using Resolution' not not published a publication in International Joint Conference on Automated Reasoning?
Did the authors of the publication 'Experiments on Supporting Interactive Proof Using Resolution' not not publish a paper in IJCAR?
ASK { <https://dblp.org/rec/conf/cade/MengP04> <https://dblp.org/rdf/schema#authoredBy> ?x . ?y <https://dblp.org/rdf/schema#authoredBy> ?x FILTER (?y != <https://dblp.org/rec/conf/cade/MengP04>) . ?y <https://dblp.org/rdf/schema#publishedIn> 'IJCAR' }
<https://dblp.org/rec/conf/cade/MengP04>