Deontic logic, computational linguistics and legal information systems: edited versions of selected papers from the international conference on logic informatics law Florence Italy April 1981