Pang, B.; Holte, R. State-Set Search. SOCS 2021, 2, 125-133.