I know, I wanted to simplify it for the thread title.
But he is
credited as co-producer on Star Trek VI and executive producer on FC, INS, and NEM.
Besides, titles like executive producer are a bit nebulous. It could be someone involved with finances or logistics, which is what Hornstein appeared to do, or it could be someone's cousin. (Such is life in the film biz.)