등식 술어, 문맥 재작성 및 변형 기반 단순화를 통한 귀납적 추론

이 논문은 등식 술어, 문맥 재작성 및 변형 기반 단순화 기술을 활용하여 초기 대수 TE에서 공식의 유효성을 증명하는 귀납적 추론 시스템을 제시한다.