@misc{indiciaedac5b4b12dd0,
  title = {Automatic Synthesis of Totally Self-Checking Circuits},
  author = {Michael Garvie and Phil Husbands},
  year = {2019},
  url = {https://arxiv.org/abs/1901.07023},
  note = {Source identifier: 1901.07023}
}