LP-1989-07: Heinrich Wansing The Adequacy Problem for Sequential Propositional Logic 1.Full Text. < Back