Domenico Beneventano Sonia Bergamaschi Alessandra Garuti Claudio Sartori Maurizio Vincini ODB-Reasoner: un ambiente per la verifica di schemi e l'ottimizzazione di interrogazioni in OODB. 181-200 1996 SEBD db/conf/sebd/sebd1996.html#BenventanoBGSV96