Existentially complete structures
1976 ◽
pp. 67-107