Search results for: Pallab Dasgupta
Journal of Automated Reasoning > 2003 > 30 > 2 > 205-232
Information Processing Letters > 2002 > 82 > 3 > 123-129
Journal of Automated Reasoning > 2003 > 30 > 2 > 205-232
Information Processing Letters > 2002 > 82 > 3 > 123-129