Nick Cercone Lenhart K. Schubert Toward a State Based Conceptual Representation. 83-90 1975 IJCAI db/conf/ijcai/ijcai75.html#CerconeS75