Alexander Bochman Default logic generalized and simplified. 21-49 2008 53 Ann. Math. Artif. Intell. 1-4 https://doi.org/10.1007/s10472-009-9109-x db/journals/amai/amai53.html#Bochman08