Search results for: H. Yahya
Journal of Automated Reasoning > 2002 > 28 > 1 > 1-34
Data & Knowledge Engineering > 2000 > 34 > 3 > 219-249
Journal of Automated Reasoning > 2002 > 28 > 1 > 1-34
Data & Knowledge Engineering > 2000 > 34 > 3 > 219-249