Open AccessA relevance restriction strategy for automated deduction
Author(s) -
David A. Plaisted,
Adnan Yahya
Publication year - 2003
Publication title -
carolina digital repository (university of north carolina at chapel hill)
Language(s) - English
DOI - 10.17615/m3tk-kk04
Subject(s) - relevance (law) , computer science , political science , law