A computational logic handbook - Boyer, Robert S. (Academic Press, 1988)
Includes bibliographical references (pages 397-399) and index