TY - RPRT TI - Specification languages for computational laws versus basic legal principles AU - Petia Guintchev AU - Joost J. Joosten AU - Sofia Santiago Fernández AU - Eric Sancho Adamson AU - Aleix Solé Sánchez AU - Marta Soria Heredia PY - 2025 UR - https://arxiv.org/abs/2503.09129 ID - 2503.09129 ER -