On monotone formula closure of SZKAlfredo de SantisGiovanni Di Crescenzoet al.1994FOCS 1994Conference paper