Asymptotic and numerical solutions for diffusion models for compounded risk reserves with dividend payments.
Int. J. Math. Math. Sci., 2004
Resolution Plans in Theorem Proving.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979
The NIH Heuristics laboratory.
SIGART Newsl., 1974