Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems. - Trevor J. M. Bench-Capon; Donatella Castelli; Frans Coenen; Laura Devendeville-Brisoux; Barry Eaglestone; Nick J. Fiddian; W. Alex Gray; Antoni Ligeza; Anca I. Vermesan (Inf. Res., 1999)