Kermit: A constraint-based tutor for database modeling (2002)

by from http www solibri com Suraweera, P, A Mitrovic