@InProceedings{fapr96,
  AUTHOR        = {W.~May and P.~H.~Schmitt},
  title =        "A Tableau Calculus For First-Order Branching Time Logic",
  editor =       "D.~.M.~Gabbay and H.~J.~Ohlbach",
  SERIES         = {LNCS},
  number         = {1085},
  pages          = {399--413},
  booktitle      = {Intl.\ Conf.\ on Formal and Applied Practical
                  Reasoning, FAPR'96},
  year           =  {1996},
  publisher      =  {Springer}
}