@InProceedings{tapd98_leiss,
  author =       "H. Leiss",
  title =        "Bounded Fixed-Point Definability and Tabular Recognition of Languages",
  booktitle =    "Proceedings of Tabulation in Parsing and Deduction (TAPD'98)",
  year =         1998,
  pages =        "96--107",
  address =      "Paris (FRANCE)",
  month =        April,
  url =          "ftp://ftp.inria.fr/INRIA/Projects/Atoll/TAPD98/leiss.ps.gz"
}