@string{jsl="Journal of Symbolic Logic"}
@Article(BBK04,
 Author="Christoph Benzm{\"{u}}ller and Chad E. Brown and Michael Kohlhase",
 Title="Higher Order Semantics and Extensionality",
 Journal=jsl,
 Volume=69,
 Year=2004,
 Pages="1027--1088")