By what other name were some Marvel-related comic books published