Parallel dovetailing and its application to Depth-first proof-number searchKunihito HokiTomoyuki Kanekoet al.2013ICGA Journal