Schulz, Christoph; Löwe, Michael; König, Harald A categorical framework for the transformation of object-oriented systems: models and data. (English) Zbl 1211.68259 J. Symb. Comput. 46, No. 3, 316-337 (2011). MSC: 68Q65 18A40 68P01 68Q60 PDFBibTeX XMLCite \textit{C. Schulz} et al., J. Symb. Comput. 46, No. 3, 316--337 (2011; Zbl 1211.68259) Full Text: DOI
Stratulat, Sorin A general framework to build contextual cover set induction provers. (English) Zbl 0981.68147 J. Symb. Comput. 32, No. 4, 403-445 (2001). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{S. Stratulat}, J. Symb. Comput. 32, No. 4, 403--445 (2001; Zbl 0981.68147) Full Text: DOI
Armando, Alessandro; Coglio, Alessandro; Giunchiglia, Fausto; Ranise, Silvio The control layer in open mechanized reasoning systems: Annotations and tactics. (English) Zbl 0983.68178 J. Symb. Comput. 32, No. 4, 305-332 (2001). MSC: 68T15 PDFBibTeX XMLCite \textit{A. Armando} et al., J. Symb. Comput. 32, No. 4, 305--332 (2001; Zbl 0983.68178) Full Text: DOI Link
Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco Goals and benchmarks for automated map reasoning. (English) Zbl 0965.03014 J. Symb. Comput. 29, No. 2, 259-297 (2000). MSC: 03B35 03G99 68T15 08B05 PDFBibTeX XMLCite \textit{A. Formisano} et al., J. Symb. Comput. 29, No. 2, 259--297 (2000; Zbl 0965.03014) Full Text: DOI Link
Smith, Douglas R. Constructing specification morphisms. (English) Zbl 0804.68094 J. Symb. Comput. 15, No. 5-6, 571-606 (1993). MSC: 68Q65 68Q60 PDFBibTeX XMLCite \textit{D. R. Smith}, J. Symb. Comput. 15, No. 5--6, 571--606 (1993; Zbl 0804.68094) Full Text: DOI
Treinen, Ralf A new method for undecidability proofs of first order theories. (English) Zbl 0769.03026 J. Symb. Comput. 14, No. 5, 437-457 (1992). MSC: 03D35 03B25 PDFBibTeX XMLCite \textit{R. Treinen}, J. Symb. Comput. 14, No. 5, 437--457 (1992; Zbl 0769.03026) Full Text: DOI
Smolka, Gert; Ait-Kaci, Hassan Inheritance hierarchies: Semantics and unifications. (English) Zbl 0678.68009 J. Symb. Comput. 7, No. 3-4, 343-370 (1989). MSC: 68Q60 68T15 68W30 68Q65 PDFBibTeX XMLCite \textit{G. Smolka} and \textit{H. Ait-Kaci}, J. Symb. Comput. 7, No. 3--4, 343--370 (1989; Zbl 0678.68009) Full Text: DOI