Pictorial deduction in spatial information systems | IEEE Conference Publication | IEEE Xplore