Which publications did John Tromp author?
What are the papers written by the person John Tromp?
SELECT DISTINCT ?answer WHERE { ?answer <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/46/86> }
<https://dblp.org/pid/46/86>