@InProceedings{tapd98_hepple,
  author =       "M. Hepple",
  title =        "Linear Categorial Deduction via First-order Compilation",
  booktitle =    "Proceedings of Tabulation in Parsing and Deduction (TAPD'98)",
  year =         1998,
  pages =        "108--117",
  address =      "Paris (FRANCE)",
  month =        April,
  url =          "ftp://ftp.inria.fr/INRIA/Projects/Atoll/TAPD98/hepple.ps.gz"
}