CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
T. Schwentick and K. Barthelmann. Local normal forms for first-order logic with applications to games and automata. In Proc. 15th Symposium on Theoretical Aspects of Computer Science STACS 98, pages 444--454, 1998.
T. Schwentick and K. Barthelmann. Local normal forms for first-order logic with applications to games and automata. In Proc. 15th Symp. on Theoretical Aspects of Computer Science (STACS'98), Springer Verlag, 1998, to appear.
T. Schwentick and K. Barthelmann. Local normal forms for first-order logic with applications to games and automata. In STACS'98, Springer LNCS 1377, 1998, pages 444--454.
T. Schwentick and K. Barthelmann. Local normal forms for first-order logic with applications to games and automata. In STACS'98, Springer LNCS 1377, 1998, pages 444--454. ACM Transactions on Computational Logic, Vol. TBD, No. TBD, TBD TBD.
T. Schwentick and K. Barthelmann. Local normal forms for first-order logic with applications to games and automata. STACS 1998, pages 444-454.