Angelo Montanari Alberto Policriti Yde Venema 5-6 1999 7 Logic Journal of the IGPL 1 http://www3.oup.co.uk/igpl/Volume_07/Issue_01/#editorial db/journals/igpl/igpl7.html#MontanariPV99