@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" }