Author's Personal Copy the Journal of Logic and Algebraic Programming Dual Systems of Tableaux and Sequents for Pltl ୋ