Automated Reasoning with Function Evaluation for COCOLOG. - Suning Wang; Peter E. Caines (Ann. Math. Artif. Intell., 1997)