A decision procedure using discrete geometry. - Gabor T. Herman; Janice A. Jackowski (Discret. Math., 1973)