A non-admissible heuristic function based on synchronized abstract plans - Duranti, Nicolas Casagrande (2023)