@article{HMG06,
title = { Some ways to reduce the space dimension in polyhedra computations },
author = {Halbwachs, Nicolas and Merchat, David and Gonnord, Laure},
month = {jul},
year = {2006},
journal = {Formal Methods in System Design},
number = {1},
pages = {79--95},
volume = {29},
team = {SYNC},
}