Die Semantik der deutschen Tempusformen : eine indirekte Analyse im Rahmen einer temporal erweiterten Aussagelogik - Ballweg, Joachim (Schwann, 1988)