Reasoning about Actions with Bidirectional Approach BI-STRIPS. - Lan-di Shan; Tadashi Nagata (IWAR, 1992)