The Logic of NEAR and FAR
2013 ◽
pp. 475-494
◽