Vol-2395⫷ Vol-2396 ⫸Vol-2397
urn:nbn:de:0074-2396-0


Vol-2396/paper11⫷Vol-2396/paper22⫸Vol-2396/paper34

Polynomial-Time Satisfiability Tests for Boolean Fragments of Set Theory