Find the years in which the authors of 'A Single Proof of Classical Behaviour in da Costa's Cn Systems' published other papers.
In which other years were the authors of 'A Single Proof of Classical Behaviour in da Costa's Cn Systems' publishing?
SELECT DISTINCT ?answer WHERE { <https://dblp.org/rec/journals/entcs/OsorioC15> <https://dblp.org/rdf/schema#authoredBy> ?x . <https://dblp.org/rec/journals/entcs/OsorioC15> <https://dblp.org/rdf/schema#yearOfPublication> ?y . ?z <https://dblp.org/rdf/schema#authoredBy> ?x . ?z <https://dblp.org/rdf/schema#yearOfPublication> ?answer FILTER (?answer != ?y) }
<https://dblp.org/rec/journals/entcs/OsorioC15>