Relational reasoning in the region connection calculus

应明生
应明生
教授