The effect of domain modeling on efficiency of planning: Lessons from the Nomystery domain | IEEE Conference Publication | IEEE Xplore