May, Wolfgang and Peter Schmitt: A Tableau Calculus for First-Order Branching Time Logic. To be presented at: Formal and Applied Practical Reasoning. Venue: Bonn, Germany, 3-7.6.1996. Topics: [branching-time]. Code: [May96A].