"On the Entailment Problem for a Logic of Typicality."

Richard Booth et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics