Automated analysis of legal texts logic, informatics, law ; edited versions of selected papers from the Second International Conference on "Logic, Informatics, Law" Florence, Italy, September 1985 (North-Holland, 1986)