The logic programming paradigm: a 25-year perspective Book

Top N MM query optimization: the best of both IR and DB worlds In Proceedings

H.E. Blok (Henk Ernst), A.P. de Vries (Arjen) and H.M. Blanken

Review of "Programming with constraints: an introduction" by Marriott, K. and Stuckey, P. J. Article

K.R. Apt (Krzysztof)

A logical analysis of Boolean constraints Article

K.R. Apt (Krzysztof)

A comparative study on the power of Van Lieshouf and Baddeley's J-function Article

E. Thönnes (Elke) and M.N.M. van Lieshout (Marie-Colette)

Requirements specification and analysis of command and control systems Tech Report

J.C. van de Pol (Jaco), J. Hooman and E. de Jong (Edwin)

Stochastic geometry : likelihood and computation Book

Modular formal specification of data and behaviour In Proceedings

J. Hooman, E. de Jong (Edwin) and J.C. van de Pol (Jaco)