Richard Génisson, Philippe Jégou. Davis and Putnam were Already Checking Forward. In Wolfgang Wahlster, editor, 12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings. pages 180-184, John Wiley and Sons, Chichester, 1996.
Abstract is missing.