Taking stock of available technologies for compliance checking on first-order knowledge - Livio Robaldo (2022)
https://ceur-ws.org/Vol-3204/