Dirk Taubner Walter Vogler Step Failures Semantics and a Complete Proof System. 125-156 1989 27 Acta Inf. 2 db/journals/acta/acta27.html#TaubnerV89