학술논문
Analytic tableaux and model elimination
Document Type
Journal
Author
Source
Subject
Language
English
ISSN
00048917