A Sequent Calculus for a First Order Linear Temporal Logic with Equality.

Jurate Sakalauskaite

Browse the full LFCS paper archive.