Chaining techniques for automated theorem proving in many-valued logics | IEEE Conference Publication | IEEE Xplore