TY  - BOOK
A2  - Dale Miller, Gopalan Nadathur.
A3  - Nadathur, Gopalan.
AU  - Miller, Dale A.
NV  - XIII, 306 s. :
PY  - 2012
SN  - 9780521879408
TI  - Programming with higher-order logic /
ER  -