View this PDF full screen You do not have the plugin required to display this PDF file. You can still download it: AgentiprogrammazionelogicaesistemidistribuitiesperimetiinJADEetuPrologtesimagistraleAlbertoSita0000780806.pdf