Article detail
Authors: Xavier Allamigeon; Ricardo D. Katz.
Magazine: JOURNAL OF AUTOMATED REASONING.
articulo_idioma: Inglés.
Editorial: SPRINGER.
Editing place: Berlin.
Publishing country: Alemania.
Reference type: Con Referato.
It's published?: No
ISSN: 0168-7433.
Volumen: 63.
Number: 2.
Pages:323-345