Did the authors of the publication 'SiCoTHEO: Simple Competitive Parallel Theorem Provers' not not publish a paper in International Conference on Automated Deduction?
Haven't the authors of the publication 'SiCoTHEO: Simple Competitive Parallel Theorem Provers' not published a publication in International Conference on Automated Deduction?
ASK { <https://dblp.org/rec/conf/cade/Schumann96> <https://dblp.org/rdf/schema#authoredBy> ?x . ?y <https://dblp.org/rdf/schema#authoredBy> ?x FILTER (?y != <https://dblp.org/rec/conf/cade/Schumann96>) . ?y <https://dblp.org/rdf/schema#publishedIn> 'CADE' }
<https://dblp.org/rec/conf/cade/Schumann96>