Board Thread:Questions and Answers/@comment-5488183-20161020182839/@comment-25028958-20180120011623

I think that if the name is not mentioned in any episodes, use the term used in the end credits.