PaperPractical issues on the projection of polyhedral setsTien Huynh, Catherine Lassez, et al.Ann. Math. Artif. Intell.
PaperA canonical form for generalized linear constraintsJean-Louis Lassez, Ken McAloonJournal of Symbolic Computation
PaperSeparability of polyhedra for optimal filtering of spatial and constraint dataAlexander Brodsky, Catherine Lassez, et al.Journal of Automated Reasoning
PaperStratification and knowledge base managementCatherine Lassez, Ken McAloon, et al.Journal of Symbolic Computation
