Journal article
Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574
Authors
CARETTE J
Journal
Journal of Functional Programming, Vol. 21, No. 6, pp. 663–664
Publisher
Cambridge University Press (CUP)
Publication Date
November 1, 2011
DOI
10.1017/s0956796811000220
ISSN
0956-7968