Publications by 'Casper R. W. van Benthem'