@book{6385422,
	author = {Алфимов, Р.В.},
	title = {Полиномиальный алгоритм для задачи выполнимости булевой формулы},
	publisher = {МИФИ (Техн. ун-т)},
	year = {1995},
	series = {Препринт},
	address = {М.}
}