![](/img/cover-not-exists.png)
More on trees and finite satisfiability: the taming of terms.
Kapetanović, Miodrag, Krapež, AleksandarVolume:
28
Language:
english
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1305/ndjfl/1093637559
Date:
July, 1987
File:
PDF, 287 KB
english, 1987