Authors: Neven, F Otto, M Tyszkiewicz, J Van den Bussche, J

Citation: F. Neven et al., Adding for-loops to first-order logic, INF COMPUT, 168(2), 2001, pp. 156-186

Authors: Neven, F Van den Bussche, J Van Gucht, D Vossen, G

Citation: F. Neven et al., Typed query languages for databases containing queries, INF SYST, 24(7), 1999, pp. 569-595