Concresor based on Kleenean relations using convex combinator | IEEE Conference Publication | IEEE Xplore