Logic for Data Description (1977)

by R A Kowalski
Venue:Logic and Data Bases