@article{coapianefficienttwophasealgorithmusing,
  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},
  eprint = {1906.03085},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1906.03085v1},
}