1. The promise of automated compliance checking;Amor;Dev. built environ.,2021
2. A review of BIM-based automated code compliance checking: a meta-analysis research;Aydın;Autom. Control: Theor. Appl.,2022
3. Neural Machine Translation by Jointly Learning to Align and Translate;Bahdanau,2015
4. Quantifiers and verb phrases: an exploration of propositional complexity;Bale;Nat. Lang. Ling. Theor.,2007
5. An introduction to first-order logic;Barwise,1977