Тодоров В.., Taha S.., Boulanger F.., Хернандес А.. Proving properties of Discrete-Valued Functions using Deductive Proof: Application to the Square Root // № 14, 2019
