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