TY - JOUR AU - Chase, Scott C2 - Automation in Construction DA - 1997-09-01 LA - en M1 - 6:04 PB - Automation in Construction PY - 1997 TI - Logic Based Design Modeling with Shape Algebras ER -