Liss published the paper on Resolution ct in which venue?
In which venue did Michael publish the paper about Resolution ct?
SELECT DISTINCT ?answer WHERE { <https://dblp.org/rec/conf/scsc/RajendranRAL16> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/189/1151> . <https://dblp.org/rec/conf/scsc/RajendranRAL16> <https://dblp.org/rdf/schema#publishedIn> ?answer }
<https://dblp.org/pid/189/1151> <https://dblp.org/rec/conf/scsc/RajendranRAL16>