[hal-01107944] Axiomatisation of constraint systems to specify a tableaux calculus modulo theories

[...]



from HAL : Dernières publications http://ift.tt/1uu05i0