@InProceedings{dobnik-cooper:2013:IWCS2013:CoSLI-3,
  author    = {Dobnik, Simon  and  Cooper, Robin},
  title     = {Spatial Descriptions in Type Theory with Records},
  booktitle = {Proceedings of IWCS 2013 Workshop on Computational Models of Spatial Language Interpretation  and  Generation (CoSLI-3)},
  month     = {March},
  year      = {2013},
  address   = {Potsdam, Germany},
  publisher = {Association for Computational Linguistics},
  pages     = {1--6},
  url       = {http://www.aclweb.org/anthology/W13-0701}
}