International Conference on "Logic, Informatics, Law" (3rd 1989 Florence, Italy)