@book{70893,
	author = {Miller, Dale and Nadathur, Gopalan},
	title = {Programming with higher-order logic /},
	publisher = {Cambridge University Press,},
	year = {2012},
	address = {Cambridge :}
}