Towards integrating logic, object, frame, and production | IEEE Conference Publication | IEEE Xplore