Hyeonji Lee, Changmo Yeo, Seungeun Lim, Byung Chul Kim, Kyung Cheol Bae, Duhwan Mun. "Rule-based design verification for mechanical parts with dynamic rule subset selection." Scientific Reports, 2025. doi:10.1038/s41598-025-01815-4