A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets

@article{DBLP:journals/cl/GhorbalSP17,
	pdf = {pub/alginv-bench-long.pdf},
	ref = {DBLP:conf/vmcai/GhorbalSP15},
	refname = {VMCAI'15},
	study = {pub/alginv-bench-long-study.zip},
	author = {['Khalil Ghorbal', 'Andrew Sogokon', 'André Platzer']},
	title = {A Hierarchy of Proof Rules for
               Checking Positive Invariance of
               Algebraic and Semi-Algebraic Sets},
	journal = {Computer Languages, Systems and Structures},
	year = {2017},
	volume = {47},
	number = {1},
	pages = {19-43},
	doi = {10.1016/j.cl.2015.11.003}
}