A second-order theory for NL | IEEE Conference Publication | IEEE Xplore