Before revision: Artificial Intelligence, 18 :87-127, 1982.
After revision: (1)Artificial Intelligence, 18 :87-127, 1982.