Name the venue in which Atsushi published the paper about Resolution conversion.
In which venue did Imiya publish the paper about Resolution conversion?
SELECT DISTINCT ?answer WHERE { <https://dblp.org/rec/conf/iciap/ToriiWMI03> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/53/1011> . <https://dblp.org/rec/conf/iciap/ToriiWMI03> <https://dblp.org/rdf/schema#publishedIn> ?answer }
<https://dblp.org/pid/53/1011> <https://dblp.org/rec/conf/iciap/ToriiWMI03>