Author: Stuttgart Conference on the Logic of Tense and Quantification (1979)