Logical methods of object recognition on satellite images using spatial constraints - R. K. Fedorov (2010)