Proof theory for Kleene algebra | IEEE Conference Publication | IEEE Xplore