Substructure discovery of macro-operators | IEEE Conference Publication | IEEE Xplore