Frege Systems for Quantified Boolean Logic | Publicación