0-1 laws and decision problems for fragments of second-order logic | IEEE Conference Publication | IEEE Xplore