Knowledge-Based Problem Solving by a Labelled Production System. - Yuichiro Anzai; Naoto Ishibashi; Yuichi Mitsuya; Shoji Ura (IJCAI, 1979)