@conference{187131, author = {Scott Chase}, title = {Design Modeling With Shape Algebras and Formal Logic}, year = {1996}, month = {1996-09-01}, publisher = {Proceedings of ACADIA (Association for Computer-Aided Design in Architecture) '96 Conference, Tucson, AZ}, url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=821068}, language = {en}, }