Christian Doczkal, Gert Smolka: Constructive Formalization of Hybrid Logic with Eventualities. CPP 2011: 5-20