On strongly planar not-all-equal 3SAT
scientific article; zbMATH DE number 6637628