Todorov V., Taha S., Boulanger F., Hernandez A. Proving properties of Discrete-Valued Functions using Deductive Proof: Application to the Square Root // # 14, 2019
