Une méthodologie automatisée de la logique juridique - Caldarone, Alessandro (Les Cahiers de droit, 1990)