Large knowledge based systems: an efficient approach | IEEE Conference Publication | IEEE Xplore