101
Voted
KR
1998
Springer
15 years 7 months ago
1998
Springer
The technical problem addressed in this paper is, given two rule systems for consequence relations X and Y, how to construct Y-approximations of a given X-relation. While an upper...