1. Cantone, D., Ferro, A., Omodeo, E.G., Schwartz, J.T.: Decision algorithms for some fragment of analysis and related areas. Communications on Pure and Applied Mathematics 40(3), 281–300 (1987)
2. Cantone, D., Zarba, C.G.: A decision procedure for monotone functions over lattices. In: Buccafurri, F. (ed.) Joint Conference on Declarative Programming APPIA-GULP-PRODE, pp. 1–12 (2003)
3. Dedekind, R.: Stetigkeit und Irrationale Zahlen. F. Vieweg, Braunschweig (1872)
4. Dershowitz, N., Jouannaud, J.-P.: Rewrite systems. In: Leeuwen, J.V. (ed.) Handbook of Theoretical Computer Science: Formal Models and Semantics, (vol. B), pp. 243–320. MIT Press, Cambridge (1990)
5. Desharnais, J., Möller, B., Struth, G.: Modal Kleene algebra and applications — A survey —. Journal on Relational Methods in Computer Science 1, 93–131 (2004)