A graph-rewriting approach to high-level task planning-an introduction | IEEE Conference Publication | IEEE Xplore