Alin Bostan Grégoire Lecerf Éric Schost Tellegen's principle into practice. 37-44 2003 conf/issac/2003 ISSAC http://doi.acm.org/10.1145/860854.860870 db/conf/issac/issac2003.html#BostanLS03