@article{journals/jlp/RodriguezMN08,
	title = {HOTL: Hypotheses and observations testing logic.},
	author = {Ismael Rodríguez and Mercedes G. Merayo and Manuel Núñez},
	journal = {J. Log. Algebr. Program.},
	number = {2},
	pages = {57-93},
	url = {http://dblp.uni-trier.de/db/journals/jlp/jlp74.html#RodriguezMN08},
	volume = {74},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/26d3c2e1d8173cca9705105aefc246905/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.jlap.2007.03.002}, date = {2008-06-25},
	keywords = {dblp }
}