An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning.

Published in: Int. J. Comput. Math. (2009)

Keyphrases