Hermann Kaindl Aliasghar Khorsand Memory-Bounded Bidirectional Search. 1359-1364 1994 AAAI db/conf/aaai/aaai94-2.html#KaindlK94