@inproceedings{HMP03,
title = { Cartesian factoring of polyhedra in linear relation analysis },
author = {Halbwachs, Nicolas and Merchat, David and Parent-Vigouroux, Catherine},
month = {jun},
year = {2003},
booktitle = {Static Analysis Symposium, SAS'03},
address = {San Diego},
publisher = {LNCS 2694, Springer Verlag},
team = {SYNC},
}