@TechReport{LIS25,title = {Rex Programmer’s Manual},author = {Leslie Pack Kaelbling and Nathan J. Wilson},year = {1988},number = {381},address = {Menlo Park, California},school = {Artificial Intelligence Center, SRI International},}