Weighted Turing machines over strong bimonoids | IEEE Conference Publication | IEEE Xplore