First-order definable retraction problems for posets and reflexive graphs | IEEE Conference Publication | IEEE Xplore