Static Analysis to Identify Vectorizable Numerical Domain in Logic Programs for Efficient Execution of Scientific Expert Systems. - Arvind K. Bansal; Dilip S. Poduval (SCAI, 1991)