There is a way to represent this polymorphic behavior using a Sequence Diagram. The polymorphic invocations are modeled by multiples scenarios controlled by the guard conditions. Therefore, for each polymorphic scenario, the dynamic binding (polymorphic invocation) is represented for a "scenario box". So, this is a single diagram to show polymorphic invocations for your question.
So, even though this model to answer your question, it is not a clear solution, because it is not-trivial to represent polymorphism in a sequence diagram. Finally, a similar discussion is on the question How to visualize polymorphic invocations in a single diagram?.