Reduction of a relational model with infinite domains to the finite-domain case (1986)

by A K Ailamazyan, M M Gilula, A P Stolboushkin, G F Shvarts
Venue:Translation in Soviet Physics – Doklady