Transforming legal texts into computational logic

Update your browser to view ScienceDirect correctly.

Check supported browsers

Your technical details and browser version:

• Request ID: 99c772b4a88d8a77-IAD
• IP: 46.202.198.233
• UTC time: 2025-11-10T18:00:12+00:00
• Browser: Mozilla/5.0 (Windows NT 6.3; WOW64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/60.0.2214.115 Safari/537.36