@misc{indiciae9cb4e828be90,
  title = {CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae},
  author = {Weilin Luo and Hai Wan and Hongzhen Zhong and Ou Wei},
  year = {2019},
  url = {https://arxiv.org/abs/1906.03085},
  note = {Source identifier: 1906.03085}
}