Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents - S. V. Potiyenko (Artificial intelligence, 2013)