Partial list of contents of proceedings for

Formal and Applied Practical Reasoning

Published by Springer Verlag

The present list contains a limited number of articles that occurred in the conference proceedings of this conference. Items are added when needed.

Conference year 1996

c-fapr-96-399
Wofgang May and Peter H. Schmitt:
A Tableau Calculus For First-Order Branching Time Logic.
Pages 399-413.