_id,doi,title
8194,10.1007/978-3-030-51074-9_2,An SMT theory of fixed-point arithmetic