Lista de

2011
1352
Journal of Automated Reasoning
1
"Resolution with order and selection for hybrid logics" (2011) Areces, C.; Gorín, D. Journal of Automated Reasoning. 46(1):1-42