A Second-Order Logic in Which Variables Range over Relations with Complete First-Order Types | IEEE Conference Publication | IEEE Xplore