James W. Goodwin WATSON: A Dependency Directed Inference System. 103-114 1984 NMR db/conf/nmr/nmr1984.html#Goodwin84