Time-free solution to SAT problem by P systems with active membranes and standard cell division rules
scientific article; zbMATH DE number 7077586
scientific article