1 paper
Christian Glasser, Heinz Schmitz, Victor Selivanov
The purpose of this paper is to provide efficient algorithms that decide membership for classes of several Boolean hierarchies for which efficiency (or even decidability) were prev…