Before revision: The recursive reasoning methods they employ are termed ‘forward chaining’ and ‘backward chaining’ , respectively.
After revision: The recursive reasoning methods they employ are termed 'forward chaining' and 'backward chaining' , respectively.