Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. A. Bossi, L. Colussi, C. Cobelli and G. Romanin Jacur, SIGSAM Bull. ACM 14, nr. 4, 35 (1980). The matrix A arises in a particular example of their work, and was sent privately to one of us (FG).
2. J.A. Campbell and Simon, in "Symbolic and Algebraic Computation" (ed. E.W. Ng), Springer-Verlag, Berlin (1979), p.503.
3. K.Clark, W.M. McKeeman and S. Sickel, "Logic Programming Applied to Numerical Integration", Imperial College preprint (1981).
4. W.F. Clocksin and C.S. Mellish, "Programming in PROLOG", Springer-Verlag, Berlin(1981)
5. M.E. Engeli, Adv. Information Syst. Sci.1, 117 (1969).