@InProceedings{MishchenkoJun18,
  author =    {Alan Mishchenko and Robert Brayton and Ana Petkovska
                  and Mathias Soeken and Luca Amar\`u and Antun Domic},
  title =     {Canonical Computation without Canonical Representation},
  booktitle = {Proceedings of the 55th Design Automation Conference},
  address =   {San Francisco, Calif.},
  month =     jun,
  year =      2018,
}