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 and
               Andrew Sogokon and
               Andr{\'e} 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},
}```