@InProceedings{tapd98_sagonas,
  author =       "G. Janssens, and  K. Sagonas",
  title =        "On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems",
  booktitle =    "Proceedings of Tabulation in Parsing and Deduction (TAPD'98)",
  year =         1998,
  pages =        "118--126",
  address =      "Paris (FRANCE)",
  month =        April,
  url =          "ftp://ftp.inria.fr/INRIA/Projects/Atoll/TAPD98/sagonas.ps.gz"
}