Alexander Bochman Brave Nonmonotonic Inference and Its Kinds. 101-121 2003 39 Ann. Math. Artif. Intell. 1-2 db/journals/amai/amai39.html#Bochman03