Displaying similar documents to “A new decidable Horn fragment of predicate calculus.”

[unknown]

F. González-Gascón (1977)

Gaceta Matemática

Similarity: