Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic Programming's Algorithmic Foundations. - Howard A. Blair; Fred Dushin; David W. Jakel; Angel J. Rivera; T. Metin Sezgin (The Logic Programming Paradigm, 1999)

Elementary Differential Calculus on Discrete and Hybrid Structures. - Howard A. Blair; David W. Jakel; Robert J. Irwin; Angel J. Rivera (LFCS, 2007)

Hybrid Programs: Symmetrically Combining Natively Discrete and Continuous Truth-values. - Howard A. Blair; David W. Jakel; Robert J. Irwin; Angel J. Rivera (ISAIM, 2008)

Differential Calculus on Cayley Graphs. - Daniel R. Patten; Howard A. Blair; David W. Jakel; Robert J. Irwin (CoRR, 2015)