@inproceedings{conf/aisc/Tankink0U12,
  added-at = {2012-07-03T00:00:00.000+0200},
  author = {Tankink, Carst and 0002, Christoph Lange and Urban, Josef},
  biburl = {http://www.bibsonomy.org/bibtex/2ffc4a4f387d4987339ae13f9436a485d/dblp},
  booktitle = {AISC/MKM/Calculemus},
  crossref = {conf/aisc/2012},
  editor = {Jeuring, Johan and Campbell, John A. and Carette, Jacques and Reis, Gabriel Dos and Sojka, Petr and Wenzel, Makarius and Sorge, Volker},
  ee = {http://dx.doi.org/10.1007/978-3-642-31374-5_12},
  interhash = {e3b5b779dc8990a0a8679d1ef1a4bedb},
  intrahash = {ffc4a4f387d4987339ae13f9436a485d},
  isbn = {978-3-642-31373-8},
  keywords = {dblp},
  pages = {169-185},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2012-07-03T00:00:00.000+0200},
  title = {Point-and-Write - Documenting Formal Mathematics by Reference.},
  url = {http://dblp.uni-trier.de/db/conf/aisc/aisc2012.html#Tankink0U12},
  volume = 7362,
  year = 2012
}