A. Bertocchi y A. Orlandini, «Diu, quantifieur temporel de domaine homogène», RELat, vol. 5, pp. 11–29, dic. 2005.