Who are the authors that published papers about Prover contest in International Conference on Automated Deduction in 1999?
In 1999 in CADE, who are the authors that published papers about Prover contest?
SELECT DISTINCT ?answer WHERE { <https://dblp.org/rec/conf/cade/HutterB99> <https://dblp.org/rdf/schema#authoredBy> ?answer . <https://dblp.org/rec/conf/cade/HutterB99> <https://dblp.org/rdf/schema#publishedIn> 'CADE' . <https://dblp.org/rec/conf/cade/HutterB99> <https://dblp.org/rdf/schema#yearOfPublication> '1999' }
<https://dblp.org/rec/conf/cade/HutterB99>