references for MCTS ICAPS paper