Title: The Deductive Spreadsheet
Subjects: Deductive databases, Electronic spreadsheets, Human-computer interaction, Logic programming