TY - JOUR AU - V. Y. Smolyaninov TI - Transformation rules for states in the DBMS DP-model JO - Prikladnaâ diskretnaâ matematika PY - 2013 SP - 50 EP - 68 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/PDM_2013_1_a4/ LA - ru ID - PDM_2013_1_a4 ER -