A* search: what's in a name? - James W. Davis; Jeff Hachtel (Commun. ACM, 2020)