Tableaukalkül und entscheidbare Formelklassen: ein Beitrag zum Entscheidungsproblem der Logik. - Stephan H. A. Bayerl (1988)