In the year 1993 in CAV, what are the titles of the research papers on Logic model?
In 1993 in Computer Aided Verification, what are the titles of the papers on Logic model?
SELECT DISTINCT ?answer WHERE { <https://dblp.org/rec/conf/cav/ClarkeFJ93> <https://dblp.org/rdf/schema#publishedIn> 'CAV' . <https://dblp.org/rec/conf/cav/ClarkeFJ93> <https://dblp.org/rdf/schema#yearOfPublication> '1993' . <https://dblp.org/rec/conf/cav/ClarkeFJ93> <https://dblp.org/rdf/schema#title> ?answer }
<https://dblp.org/rec/conf/cav/ClarkeFJ93>