Seeking computational efficiency boundaries: the Păun’s conjecture | Publicación