id: 70703414
dt: a
an: 70703414
au: Chaieb, Amine
ti: Parametric linear arithmetic over ordered fields in isabelle/HOL
so: AISC/MKM/Calculemus, 246-260 (2008).
py: 2008
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-540-85110-3_20