A uniform solution to SAT using membrane creation | Publicación