title: constraint databases : a tutorial introduction sigmod record. authors: j bussche. venue: nan. year: 2000.0
title: integrity constraint in deductive databases proceedings of the 13th vldb conference , brighton. authors: ra kowalski , f sadri , p soper. venue: nan. year: nan