Hartmut Ehrig, Ingo Claßen:
Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems.
103-111 BibTeX
Domenico Cantone, Vincenzo Cutello:
Decision procedures for elementary sublanguages of set theory, XVI, Multilevel syllogistic extended by singleton, rank comparison and unary intersection.
139-148 BibTeX
Zoltán Fülöp, Sándor Vágvölgyi:
Congruential tree languages are the same as recognizable tree languages - a proof for a theorem of D. Kozen.
175-184 BibTeX