"On the interplay between consistency, completeness, and correctness in ..."

Didar Zowghi, Vincenzo Gervasi (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics