Davis and Putnam were Already Checking Forward.

Richard Génisson Philippe Jégou

Published in: ECAI (1996)

Keyphrases

forward and backward
bi directional
consistency checking
database
databases
website
viewpoint
medical images