Lifeng He Yuyan Chao Yuka Shimajiri Hirohisa Seki Hidenori Itoh A-SATCHMORE: SATCHMORE with Availability Checking. 55-74 1998 16 New Gener. Comput. 1 db/journals/ngc/ngc16.html#HeCSSI98 https://doi.org/10.1007/BF03037320