The paper 'Defining Corecursive Functions in Coq Using Approximations (Artifact)' was published in which year?
'Defining Corecursive Functions in Coq Using Approximations (Artifact)' was published in which year?
SELECT DISTINCT ?answer WHERE { <https://dblp.org/rec/journals/darts/RusuN22> <https://dblp.org/rdf/schema#yearOfPublication> ?answer }
<https://dblp.org/rec/journals/darts/RusuN22>