Applying /spl pi/-calculus to planning for reflective agents | IEEE Conference Publication | IEEE Xplore