Partly reprinted from Artificial Intelligence Review, v. 20, nos. 3-4 (2003)
Artificial intelligence in logic design by Svetlana N. Yanushkevich. ISBN 140202052X. Published by Kluwer Academic Publishers in 2004. Publication and catalogue information, links to buy online and reader comments.