Formal methods for nonmonotonic and related logics - Schlechta, Karl 1948- (Springer, 2018)