Deciding reachability for planar multipolynomial systems (1996)

by K Cerāns, J Vı̄ksna
Venue:In Hybrid Systems III, number 1066 in LNCS