Distributed computation of a \(k\) P systems with active membranes for SAT using clause completion

From MaRDI portal