TY  - JOUR
AU  - V. F. Yun
TI  - Temporal logic of linear time frames with inductions axiom
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2009
SP  - 312
EP  - 325
VL  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2009_6_a15/
LA  - ru
ID  - SEMR_2009_6_a15
ER  -