TITLE     : KLM-style defeasibility for restricted first-order logic
AUTHOR(S) : Casini G, Meyer T, Patersonjones G
TYPE      : Conference article
YEAR      : 2021
CODE      : 459227

*** DO NOT EDIT THIS FILE ***