In the year 1972 in SWAT, what are the titles of the research papers on Program equivalence?
In SWAT in 1972, what are the titles of the papers on Program equivalence?
SELECT DISTINCT ?answer WHERE { <https://dblp.org/rec/conf/focs/Rosen72> <https://dblp.org/rdf/schema#publishedIn> 'SWAT' . <https://dblp.org/rec/conf/focs/Rosen72> <https://dblp.org/rdf/schema#yearOfPublication> '1972' . <https://dblp.org/rec/conf/focs/Rosen72> <https://dblp.org/rdf/schema#title> ?answer }
<https://dblp.org/rec/conf/focs/Rosen72>