@misc{Legg_NR_14,
    author           = {Legg, Alexander and Narodytska, Nina and Ryzhyk, Leonid},
    booktitle        = {iPRA workshop},
    month            = jul,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8137.pdf},
    title            = {Practical {CNF} Interpolants Via {BDDs}},
    year             = {2014}
  }