Interpolative reasoning based on graduality | IEEE Conference Publication | IEEE Xplore