ARIADNE V4 Filip Neven, Stefaan Ternier & Erik Duval Dept. Computerwetenschappen, Katholieke Universiteit Leuven, Belgium E-mail: [email protected].