Logic-based formula management strategies in an actuarial consulting system. - Taracad Sivasankaran; Matthias Jarke (Decis. Support Syst., 1985)