1.
|
Tableau calculi for description logics revision Moguillansky, Martín O. - Falappa, Marcelo Alejandro
|
2.
|
Consequence operators for defeasible argumentation: characterization and logical properties Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|