@book{204829,
	author = {Рязанов, А. Е.},
	title = {Система Буцефал: комбинирование дедуктивных процедур и описание стратегий поиска доказательств},
	publisher = {ИСИ},
	year = {1998},
	series = {Препринт},
	address = {Новосибирск},
	note = {Авт. также на англ.яз.: A.E.Ryazanov}
}