Annalisa Bossi Michele Bugliesi Maurizio Gabbrielli Giorgio Levi Maria Chiara Meo Differential Logic Programs: Programming Methodologies and Semantics. 217-262 1996 27 Sci. Comput. Program. 3 db/journals/scp/scp27.html#BossiBGLM96