TITLE : KLM-style defeasibility for restricted first-order logic AUTHOR(S) : Casini G, Meyer T, Patersonjones G, Varzinczak I TYPE : Conference article YEAR : 2022 CODE : 488500 *** DO NOT EDIT THIS FILE ***