@Article{Zha92,
    Author       = "Zhang, J.",
    Year         = "1992",
    Title        = "{Solution to an Open Question in Combinatory Logic}",
    Journal      = "AAR Newsletter",
    Volume       = "21",
    Pages        = "12",
    Comment      = "TPTPRef"
}