Eldar Fischer, Tomer Kotek, Johann A. Makowsky. Application of logic to combinatorial sequences and their recurrence relations. In Martin Grohe, Johann A. Makowsky, editors, Model Theoretic Methods in Finite Combinatorics - AMS-ASL Joint Special Session, Washington, DC, USA, January 5-8, 2009. Volume 558 of Contemporary Mathematics, pages 1-42, American Mathematical Society, 2009.
Abstract is missing.