A Linear Solution for QSAT with Membrane Creation | Publicación