A fully abstract semantics for a functional language with logic variables | IEEE Conference Publication | IEEE Xplore