Katrin Schulz Minimal models vs. logic programming: the case of counterfactual conditionals. 153-168 2014 24 J. Appl. Non Class. Logics 1-2 https://doi.org/10.1080/11663081.2014.911537 db/journals/jancl/jancl24.html#Schulz14