Implementing declarative parallel bottom-avoiding choice | IEEE Conference Publication | IEEE Xplore