Chung-Dak Shum Richard R. Muntz Implicit Representation for Extensional Answers. 497-522 1988 Expert Database Conf. db/conf/eds/eds88.html#ShumM88