Any ADL problem can be translated into a STRIPS instance--however, existing compilation techniques are worst-case exponential.
Any ADL problem can be translated into a STRIPS instance. Existing compilation techniques are worst-case exponential. This is however.