Planning and Composition of Web Services with Dynamic Constraints Using Situation Calculus. - Ken Nariai; Incheon Paik; Mitsuteru Shinozawa (CIT, 2005)