A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic.

Anatoli Degtyarev, Michael Fisher, Boris Konev

Browse the full TABLEAUX paper archive.