Библиографическая ссылка:
Охильков А.С., Матвеев А.С. К автоматизации сборки механизмов с использованием автоматического доказательства теорем на примере BLOCKSWORLD / Труды 12-й Международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2012, Москва). М.: ООО Аналитик, 2012. С. 130-132.