Towards compliance checking in reified I/O logic via SHACL - Livio Robaldo (ACM, 2021)
Preprint article before certification by peer review [online 13/10/2021]. Preprint confirmed as accepted manuscript for conference.