Count the papers published by the authors of 'Generating Proof Obligations for Circuits' in 1993.
How many papers did the authors of 'Generating Proof Obligations for Circuits' publish in 1993?
SELECT DISTINCT (COUNT(?answer) AS ?count) WHERE { <https://dblp.org/rec/conf/larch/MellergaardS92> <https://dblp.org/rdf/schema#authoredBy> ?x . ?answer <https://dblp.org/rdf/schema#authoredBy> ?x . ?answer <https://dblp.org/rdf/schema#yearOfPublication> '1993' }
<https://dblp.org/rec/conf/larch/MellergaardS92>