@phdthesis{Kamp1968-KAMTLA-2,
    author = {Johan Anthony Wilem Kamp},
    publisher = {Dissertation},
    school = {University of California, Los Angeles},
    title = {Tense Logic and the Theory of Linear Order},
    year = {1968},
    date-added = {2026-3-16 18:6:7 +0100}
}

@phdthesis{Kamp1968-KAMTLA-2, author = {Johan Anthony Wilem Kamp}, publisher = {Dissertation}, school = {University of California, Los Angeles}, title = {Tense Logic and the Theory of Linear Order}, year = {1968}, date-added = {2026-3-16 18:6:7 +0100} }