@Article{HC+98,
    Author       = "He, L. and Chao, Y. and Shimajiri, Y. and Seki, H. and Itoh, H.",
    Year         = "1998",
    Title        = "{A-SATCHMORE: SATCHMORE with Availability Checking}",
    Journal      = "New Generation Computing",
    Volume       = "16",
    Pages        = "55-74",
    Comment      = "TPTPRef"
}