Title: Programming with Higher-Order Logic, Author: Dale Miller
Title: Principles and Practice of Declarative Programming: International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings / Edition 1, Author: Gopalan Nadathur