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