@InProceedings{tapd98_ramakrishnan,
  author =       "A. Roychoudhury, C.R. Ramakrishnan, I.V. Ramakrishnan, and  S.A. Smolka",
  title =        "Tabulation-based Induction Proofs with Application to Automated Verification",
  booktitle =    "Proceedings of Tabulation in Parsing and Deduction (TAPD'98)",
  year =         1998,
  pages =        "83--88",
  address =      "Paris (FRANCE)",
  month =        April,
  url =          "ftp://ftp.inria.fr/INRIA/Projects/Atoll/TAPD98/ramakrishnan.ps.gz"
}