An Architecture for Integrating Reasoning Paradigms. - James M. Skinner; George F. Luger (KR, 1992)