On the boundedness problem for two-variable first-order logic | IEEE Conference Publication | IEEE Xplore