Logic for Data Description

Robert A. Kowalski. Logic for Data Description. In Logic and Data Bases. pages 77-103, 1977.