2008 | ||
---|---|---|
2 | EE | Santiago Figueira, Daniel Gorín, Rafael Grimson: On the Formal Semantics of IF-Like Logics. WoLLIC 2008: 164-178 |
2004 | ||
1 | EE | Carlos Areces, Daniel Gorín: Ordered Resolution with Selection for H(@). LPAR 2004: 125-141 |
1 | Carlos Areces | [1] |
2 | Santiago Figueira | [2] |
3 | Rafael Grimson | [2] |