TS=("backward chaining") AND PY=(2011-2022)