@misc{indiciaeb3a0fd99a8c1,
  title = {A compiler for variational forms},
  author = {Robert C. Kirby and Anders Logg},
  year = {2011},
  doi = {10.1145/1163641.1163644},
  url = {https://arxiv.org/abs/1112.0402},
  note = {Source identifier: 1112.0402}
}