재귀 정의와 일반화 판단의 통합 논리
By **
- Andrew Gacek (Department of Computer Science & Engineering, University of Minnesota)
- Dale Miller (INRIA Saclay – Île-de-France & LIX/École Polytechnique)
- Gopalan Nadathur (Department of Computer Science & Engineering, University of Minnesota)
** · ArXiv: 0802.0865