David Cox: Delta Epsilon Alpha Star: A PAC-Admissible Search Algorithm. CoRR abs/1608.02287 (2016)