Bibliography: p499-503. - Includes index.
Handbook of logic in artificial intelligence and logic programming. Vol. 1, Logical foundations. ISBN 019853745X. Published by Clarendon Press in 1993. Publication and catalogue information, links to buy online and reader comments.