Publications

Results 1-4 of 4 (Search time: 0.199 seconds).

	Issue Date	Title	Author(s)
1	Dec-2001	SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy	Loveland, Donald; Yahya, Adnan
2	Mar-2003	A relevance restriction strategy for automated deduction	Plaisted, David A.; Yahya, Adnan
3	4-Mar-2001	Incorporating bidirectional relevancy into model generation theorem provers	Yahya, Adnan
4	1-Mar-2002	Ordered semantic hypertableaux	Yahya, Adnan; Plaisted, David A.