Tableau Methods for a Logic with Term Declarations
ISSN: 0747-7171
Année de publication: 2000
Volumen: 29
Número: 2
Pages: 343-372
Type: Article
ISSN: 0747-7171
Année de publication: 2000
Volumen: 29
Número: 2
Pages: 343-372
Type: Article