Can Akkan, Andreas Drexl, Alf Kimms Generating two-terminal directed acyclic graphs with a given complexity index by constraint logic programming. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2005, v:62, n:1, pp:1-39 [Journal]

J. V. Tucker, Jeffery I. Zucker Computable total functions on metric algebras, universal algebraic specifications and dynamical systems. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2005, v:62, n:1, pp:71-108 [Journal]