Implicit definability on finite structures and unambiguous computations | IEEE Conference Publication | IEEE Xplore