Jonathan Bright Simon Kasif Lewis Stiller Exploiting Algebraic Structure in Parallel State Space Search. 1341-1346 1994 AAAI db/conf/aaai/aaai94-2.html#BrightKS94