Conditional and preferential logics proof methods and theorem proving - Pozzato, Gian Luca (IOS Press, 2010)