Инд. авторы:	Chubarov D.L., Voronkov A.A
Заглавие:	Solving First-Order Constraints Over Monadic Class
Библ. ссылка:	Chubarov D.L., Voronkov A.A Solving First-Order Constraints Over Monadic Class // Workshop on First-Order Constraints Marseille, May 3-4, 2001, 2001. - P.1-2.
Издано:	2001
Физ. характеристика:	с.1-2