["A Language Facility for Designing Database-Intensive Applications", J. Mylopoulos et al, ACM Trans Database Sys 5(2):185-207 (June 1980)].
Try this search on Wikipedia, OneLook, Google
Nearby terms: tautological set « tautology « TAWK « Taxis » tayste » taz » TB
