B
[BR02] Danièle Beauquier and Alexander Rabinovich. Monadic Logic of Order over Naturals has no Finite Base. Journal of Logic and Computation 12(2):243-253. Oxford University Press, April 2002. 
@article{jlc12(2)-BR,
  author =              {Beauquier, Dani{\`e}le and Rabinovich, Alexander},
  title =               {Monadic Logic of Order over Naturals has no Finite
                         Base},
  publisher =           {Oxford University Press},
  journal =             {Journal of Logic and Computation},
  volume =              {12},
  number =              {2},
  pages =               {243-253},
  year =                {2002},
  month =               apr,
}
List of authors