@INPROCEEDINGS{tacas97,
        AUTHOR             = {Jean Goubault-Larrecq and Peter H.~Schmitt},
        TITLE              = {A Tableau System for Linear-TIME Temporal Logic},
        YEAR               = {1997},
        BOOKTITLE          = {Proceedings of the Third International Workshop
                     on Tools and Algorithms for the Construction and 
                     Analysis of Systems, TACAS'97, Enschede, the Netherlands
          April 02-04},
        PUBLISHER          = {Springer},
        EDITOR             = {Ed Brinksma},
        SERIES             = {Lecture Notes in Computer Science},
        VOLUME             = {1217},
        PAGES              = {130--144}
}