First-order queries on databases embedded in an infinite structure

Otto, Martin; van den Bussche, Jan

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

In: Information processing letters
Volume: 60
Page(s)/Article-Nr.: 37-41