@misc{ villadsen-nabla,
  author = "Jørgen Villadsen",
  title = "Nabla: A Linguistic System based on Multi-dimensional Type Theory",
  url = "citeseer.ist.psu.edu/villadsen95nabla.html" }