Paul Leemans Jan Treur Mark Willems A semantical perspective on verification of knowledge. 33-70 2002 40 Data Knowl. Eng. 1 db/journals/dke/dke40.html#LeemansTW02 http://dx.doi.org/10.1016/S0169-023X(01)00045-3