Using dynamic logic programming to model legal reasoning. - N. Graca; Paulo Quaresma (APPIA-GULP-PRODE, 2003)