1.
Automated Detection and Resolution of Legal Cross References: Approach and a Study of Luxembourg's Legislation
2.
Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law