Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: author exact 3A48C4E6-F0EE-11E1-A9DE-61C894A0A6B4 cql: author exact F4D93512-F0ED-11E1-A9DE-61C894A0A6B4 Add to list Journal Article A1 Rigor and formalization Pawel Pawlowski (UGent) and Karim Zahidi (UGent) (2024) SYNTHESE. 203.