"Reasoning on divergent computations with coaxioms."

Davide Ancona, Francesco Dagnino, Elena Zucca (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics