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.
@inproceedings{GenissonJ96,
title = {Davis and Putnam were Already Checking Forward},
author = {Richard Génisson and Philippe Jégou},
year = {1996},
researchr = {https://researchr.org/publication/GenissonJ96},
cites = {0},
citedby = {0},
pages = {180-184},
booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings},
editor = {Wolfgang Wahlster},
publisher = {John Wiley and Sons, Chichester},
}