John G. Stell, Renate A. Schmidt, David E. Rydeheard: Tableau Development for a Bi-intuitionistic Tense Logic. RAMiCS 2014: 412-428