Bram van der Vos Jon Atle Gulla Reind P. van de Riet Verification of Conceptual Models Based on Linguistic Knowledge. 147-163 1997 21 Data Knowl. Eng. 2 db/journals/dke/dke21.html#VosGR97 http://dx.doi.org/10.1016/S0169-023X(96)00030-4