Automated Natural Deduction for Propositional Linear-Time Temporal Logic.

Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin

Browse the full TIME paper archive.