@Article{EF+01,
    Author       = "Ernst, Z. and Fitelson, B. and Harris, K. and Wos, L.",
    Year         = "2001",
    Title        = "{A Concise Axiomatization of RM->}",
    Journal      = "Bulletin of the Section of Logic",
    Volume       = "30",
    Number       = "4",
    Pages        = "191-194",
    Comment      = "TPTPRef"
}