Adnan Yahya

Bibliography

Plaisted, David A. and Yahya, Adnan. 2003. “A Relevance Restriction Strategy for Automated Deduction.” Artificial Intelligence 144(1–2): 59–93.