Membrane creation and symport/antiport rules solving QSAT | Publicación