Latour, L. (2005). Presburger Arithmetic: From Automata to Formulas [Doctoral thesis, Université de Liège]. ORBi-University of Liège. https://orbi.uliege.be/handle/2268/314884 https://hdl.handle.net/2268/314884
Latour, L. (2005). Presburger Arithmetic: From Automata to Formulas [Doctoral thesis, Université de Liège]. ORBi-University of Liège. https://orbi.uliege.be/handle/2268/314884