MISC

2002年

Theory of judgments and derivations

Lecture Notes in Artificial Intelligence

2281,78-122