Инд. авторы:	Chubarov D.L., Voronkov A.A.
Заглавие:	Formula Instantiation is Decidable for the Monadic Class
Библ. ссылка:	Chubarov D.L., Voronkov A.A. Formula Instantiation is Decidable for the Monadic Class // Eight Workshop on Automated Reasoning. Bridging the Gap between Theory and Practice, March 22-23, 2001: The University of Manchester, 2001, 2001. - P.45-46.
Издано:	The University of Manchester, 2001
Физ. характеристика:	с.45-46