Edalat, Maleki, 2017. Differentiation in logical form, in: . IEEE.. https://doi.org/10.1109/lics.2017.8005143