Infinite Set Unification with Application to Categorial Grammar Jacek Marciniec OriginalPaper Pages: 339 - 355
Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics Chrysafis Hartonas OriginalPaper Pages: 403 - 450