[1]
M. Tucat and A. J. García, “Processing interaction protocols in parallel: a logic programming implementation for robotic soccer”, JCS&T, vol. 5, no. 04, pp. p. 232–238, Dec. 2005.