Reasoning About Belief Revision. - Caroline Semmling; Heinrich Wansing (Belief Revision meets Philosophy of Science, 2011)

STIT is dangerously undecidable. - François Schwarzentruber; Caroline Semmling (ECAI, 2014)