Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan. Barrier certificates revisited. Journal of Symbolic Computation, 80:62-86, 2017. [doi]
@article{DaiGXZ17, title = {Barrier certificates revisited}, author = {Liyun Dai and Ting Gan and Bican Xia and Naijun Zhan}, year = {2017}, doi = {10.1016/j.jsc.2016.07.010}, url = {http://dx.doi.org/10.1016/j.jsc.2016.07.010}, researchr = {https://researchr.org/publication/DaiGXZ17}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {80}, pages = {62-86}, }