"A hierarchy of proof rules for checking positive invariance of algebraic ..."

Khalil Ghorbal, Andrew Sogokon, André Platzer (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics