Oleg Grigoriev

	2007
4		Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin: A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic. IICAI 2007: 1253-1266
3		Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin: Automated Natural Deduction for Propositional Linear-Time Temporal Logic. TIME 2007: 47-58
	2006
2		Alexander Bolotov, Artie Basukoski, Oleg Grigoriev, Vasilyi Shangin: Natural Deduction Calculus for Linear-Time Temporal Logic. JELIA 2006: 56-68
1		Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin: Natural Deduction Calculus for Computation Tree Logic. John Vincent Atanasoff Symposium 2006: 175-183

Coauthor Index

1	Artie Basukoski	[2]
2	Alexander Bolotov	[1] [2] [3] [4]
3	Vasilyi Shangin	[1] [2] [3] [4]