Distributed computation of a \(k\) P systems with active membranes for SAT using clause completion
scientific article; zbMATH DE number 7395458
scientific article