一种基于桶树的自动推理问题求解算法
일충기우통수적자동추리문제구해산법
Bucket-Tree Based Algorithm for Automated Reasoning
저자의 최근 논문