Extracting and using procedural knowledge in a CAD task | IEEE Journals & Magazine | IEEE Xplore