@book{6449,
	author = {Duong Tuan Anh and Phan, Minh Dung, and Japanese Government,},
	title = {An application of abstract interpretation: detecting functional computations in prolog programs},
	publisher = {Asian Institute of Technology,},
	year = {1989},
	series = {Thesis ;},
	address = {Bangkok :},
	note = {A thesis submitted in partial fulfillment of the requirements for the degree of Master of Engineering},
	url = {http://203.159.5.9/ait-thesis/detail.php?q=B17660}
}