Automated legal reasoning by N. den Haan