Publication [DaiGXZ17] Barrier certificates revisited Dai, L.; Gan, T.; Xia, B. and Zhan, N. In J. Symb. Comput., 80: 62-86, 2017.Downloads: bib
