| |
| 2001 | ||
|---|---|---|
| 3 | EE | Edgar Altamirano, Gonzalo Escalada-Imaz: Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas. ECSQARU 2001: 792-804 |
| 2000 | ||
| 2 | EE | Edgar Altamirano, Gonzalo Escalada-Imaz: Finding Tractable Formulas in NNF. Computational Logic 2000: 493-507 |
| 1 | EE | Edgar Altamirano, Gonzalo Escalada-Imaz: An Efficient Proof Method for Non-clausal Reasoning. ISMIS 2000: 534-542 |
| 1 | Gonzalo Escalada-Imaz | [1] [2] [3] |