TitleSome Characterization Theorems for Infinitary Universal Horn Logic Without Equality
Publication TypeJournal Article
Year of Publication1996
AuthorsDellunde P, Jansana R
JournalThe Journal of Symbolic Logic
Volume61
Pagination1242-1260