Informatics and the foundations of legal reasoning (Kluwer, 1995)