Rainer Haidan Conceptual Modelling in a Logic Based Framework. 34-35 1992 conf/cnkbs/1992 CNKBS db/conf/cnkbs/cnkbs1992.html#Haidan92