Natural deduction calculus for linear-time temporal logic (2006)

by A Bolotov, A Basukoski, O Grigoriev, V Shangin
Venue:In Joint European Conference on Artificial Intelligence (JELIA-2006