Toward Computer-Aided Induction: A Brief Review of Currently Implemented AQVAL Programs

This work was supported in part by the National Science Foundation, Washington, DC, under grant no. NSF MCS 74-03514.