I.: Preferential reasoning for modal logics (2011)

by K Britz, T Meyer, Varzinczak
Venue:Electronic Notes in Theoretical Computer Science 278