Bi-Abductive Inference for Shape and Ordering Properties | IEEE Conference Publication | IEEE Xplore