Gerhard Jäger: Notions of Nonmonotonic Derivability. Nonmonotonic and Inductive Logic 1990: 74-84