Satisfiability and Model Checking in Team Based Logics. - Müller, Julian-Steffen (Cuvillier Verlag, 2014)