"An Automatic Techniques for Detecting Type Conflicts in Database Schemes."

Luigi Palopoli, Domenico Saccà, Domenico Ursino (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics