First-order queries on databases embedded in an infinite structure

Otto, Martin; van den Bussche, Jan

Amsterdam [u.a.] / Elsevier (1996) [Journal Article]

Information processing letters
Volume: 60
Page(s): 37-41