The ADT proximity and text proximity problems | IEEE Conference Publication | IEEE Xplore