ITcon papers tagged with: automated deduction

2005 Nassar K and Nguyen T-H
USING BUILDING TOPOLOGICAL INFORMATION TO CHECK FOR MEANS OF EGRESS BUILDING CODE COMPLIANCE
ITcon Vol. 10, pg. 219-227, http://www.itcon.org/2005/15