Alfredo Burrieza, A. Mora, Manuel Ojeda-Aciego, Ewa Orlowska. An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Int. J. Comput. Math., 86(10&11):1852-1866, 2009. [doi]
@article{BurriezaMOO09,
title = {An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning},
author = {Alfredo Burrieza and A. Mora and Manuel Ojeda-Aciego and Ewa Orlowska},
year = {2009},
doi = {10.1080/00207160902777906},
url = {http://dx.doi.org/10.1080/00207160902777906},
researchr = {https://researchr.org/publication/BurriezaMOO09},
cites = {0},
citedby = {0},
journal = {Int. J. Comput. Math.},
volume = {86},
number = {10&11},
pages = {1852-1866},
}