Graph-based rule representation for automated design checking. - Zhang, Su; Chen, Ke-Yin; Lin, Jia-Rui; Pan, Peng (Architectural Engineering & Design Management, 2026)