TY  - RPRT
TI  - Nonlinear Craig Interpolant Generation
AU  - Ting Gan
AU  - Bican Xia
AU  - Bai Xue
AU  - Naijun Zhan
AU  - Liyun Dai
PY  - 2020
UR  - https://arxiv.org/abs/1903.01297
ID  - 1903.01297
ER  -