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). https://doi.org/10.1038/s41598-025-01815-4