Horn Sentences of Small Size in Identity Theory
-
Published:1986
Issue:25-30
Volume:32
Page:439-444
-
ISSN:0044-3050
-
Container-title:Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
-
language:de
-
Short-container-title:MLQ - Math. Log. Quart.
Author:
Marongiu G.,Tulipani S.