Shipping costs for A Machine-Oriented Logic Based on the Resolution Principle" [in] Journal of the Association for Computing Machinery, volume 12, number 1, pages 23-41.