@inproceedings{'Bos1996AmCo',
   title     = {'Predicate Logic Unplugged'},
   author    = {'Bos', 'Johan'},
   booktitle = {'Proceedings of the Tenth Amsterdam Colloquium'},
   editor    = {Dekker, Paul and 'Stokhof', 'Martin'},
   address   = {'Amsterdam, Netherlands'},
   pages     = {133--143},
   year      = {1996}
}