On the Correspondence between Description Logics and Logics of Programs (1994)

by Giuseppe De Giacomo , Maurizio Lenzerini
Citations:96 - 34 self