Microtheories and contexts in cyc (1990)

by R V Guha