@book{29193,
	author = {Phan Minh Thang   and Huynh, Trung Luong, and AGRUGRID,},
	title = {Development of argument-based proof procedures and translation of preferred sub-theories into argumentation :},
	publisher = {Asian Institute of Technology,},
	year = {2013},
	series = {Dissertation ;},
	address = {Pathumthani :},
	note = {A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Information and Communications Technologies, School of Engineering and Technology},
	url = {http://203.159.5.9/ait-thesis/detail.php?q=B05133}
}