PaperStratification and knowledge base managementCatherine Lassez, Ken McAloon, et al.Journal of Symbolic Computation
PaperStratification and knowledge base managementCatherine Lassez, Ken McAloon, et al.Journal of Symbolic Computation
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
