Gerhard Jäger Notions of Nonmonotonic Derivability. 74-84 1990 conf/nil/1990 Nonmonotonic and Inductive Logic db/conf/nil/nil1990.html#Jager90 https://doi.org/10.1007/BFb0023318