Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=241783
Copy and paste this citation
Nimish Shah
(2004).
Knowledge Representation, Reasoning and Declarative Problem Solving by C. Baral, Cambridge University Press, 2003. Journal of Functional Programming, 14
,
pp 588-589
doi:10.1017/S0956796804215325