Loading paper
A Normal form for HNN-extension of Dialgebras | Tomesphere