DS-2000-05: Carlos Areces Logic Engineering. The Case of Description and Hybrid Logics 1.Full Text, 2.Abstract. < Back