A uniform solution to SAT using membrane creation
scientific article; zbMATH DE number 5132985
scientific article