["LDL: A Logic-Based Data-Language", S. Tsur et al, Proc VLDB

1986, Kyoto Japan, Aug 1986, pp.33-41].