Constrained Expressions and their Derivatives

Jean-Marc Champarnaud, Ludovic Mignot, Florent Nicart. Constrained Expressions and their Derivatives. Fundamenta Informaticae, 149(3):311-361, 2016. [doi]

Abstract

Abstract is missing.