"Contextual Abductive Reasoning with Side-Effects."

Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics