@inproceedings{amarilli2015provenance,
  title={\href{https://pierre.senellart.com/publications/amarilli2015provenance.pdf}{Provenance Circuits for Trees and Treelike Instances}},
  author={Antoine Amarilli and Pierre Bourhis and Pierre Senellart},
  booktitle={Proc.\ {ICALP}},
  address={Kyoto, Japan},
  pages={56--68},
  month=jul,
  year={2015},
}