Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez. HOTL: Hypotheses and observations testing logic. Journal of Logic and Algebraic Programming, 74(2):57-93, 2008. [doi]
@article{RodriguezMN08, title = {HOTL: Hypotheses and observations testing logic}, author = {Ismael Rodríguez and Mercedes G. Merayo and Manuel Núñez}, year = {2008}, doi = {10.1016/j.jlap.2007.03.002}, url = {http://dx.doi.org/10.1016/j.jlap.2007.03.002}, tags = {testing, logic}, researchr = {https://researchr.org/publication/RodriguezMN08}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {74}, number = {2}, pages = {57-93}, }