" In John Alan Robinson and Andrei Voronkov, editors, Handbook of Automated Reasoning, volume I, pages 447–533.
Robinson and A. Voronkov، editors، Handbook of Automated Reasoning، volume I، pages ۴۴۷–۵۳۳.