Jonghoon Chun Lawrence J. Henschen Processing Knowledge-Based Systems Containing Rules With Complex Bodies. 38-43 1992 DEXA db/conf/dexa/dexa92.html#ChunH92