Meta-level selection techniques for the control of default reasoning. - Victor Allis; Yao-Hua Tan; Jan Treur (Future Gener. Comput. Syst., 1996)