Provability in TBLL: A Decision Procedure.

Jawahar Chirimar, James Lipton

Browse the full CSL paper archive.