CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
J. Makowsky and Y. Pnueli. Computable quantiers and logics over nite structures. In M. Krynicki, M. Mostowski, and L. Szczerba, editors, Quantiers: Logics, Models and Computation, volume I, pages 313-358. Kluwer Academic Publishers, Dordrecht/Boston/London, 1995.
J.A. Makowsky and Y. Pnueli, Computable quantiers and logics over nite structures, in: Quantiers: Logics, Models and Computation, Volume 1 (ed. M. Krynicki et al.), Kluwer (1995) 313-357.