70118221

a

70118221 Nipkow, Tobias Reflecting linear arithmetic: from dense linear orders to Presburger arithmetic VERIFY (2007). 2007 EN

http://ceur-ws.org/Vol-259/paper01.pdf