An algorithm for determining database consistency under the closed world assumption
scientific article; zbMATH DE number 683611