Evgueni N. Smirnov Nikolay I. Nikolaev Multiple Explanation-based Learning Guided by Space Fragmenting. 85-96 1995 SCAI db/conf/scai/scai1995.html#SmirnovN95