@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}
}