In terms of computational efficiency, ADL can be located between STRIPS and the Situation Calculus [REF].
Most of the top-performing approaches to classical planning internally utilize a STRIPS like representation.