Jawahar Chirimar James Lipton Provability in TBLL: A Decision Procedure. 53-67 1991 conf/csl/1991 CSL db/conf/csl/csl91.html#ChirimarL91 http://dx.doi.org/10.1007/BFb0023757