TPTP Reference: Zha94

Plain BibTeX

@Article{Zha94,
    Author       = "Zhang, J.",
    Year         = "1994",
    Title        = "{Solution to Another Open Question in Combinatory Logic}",
    Journal      = "AAR Newsletter",
    Volume       = "25",
    Pages        = "8-10",
    Comment      = "TPTPRef"
}