Extended inference modes in reasoning by computer systems, A r t i f i c i a l I n t e l l i g e n c e 13 (1980)

by T Winograd