Before revision: Artificial Intelligence, 18:87-127, 198
After revision: Artificial Intelligence, 18:87-127, 1982.