1. Aiguier, M., and F. Barbier, ‘On a generalization of some results of model theory: Robinson, Craig and Beth theorems’. Submitted. (Ask authors for current version at aiguier, barbierlami.univ-evry.fr).
2. Andr' emeti, and I. Sain, ‘Craig property of a logic and decomposability eka, H., I. N' of theories’, in P. Dekker and M. Stokhof (eds.), Proceedings ofthe Ninth Amsterdam Colloquium, vol. 3229 of Lecture Notes in Computer Science, 1993, pp. 87–93.
3. Barwise, J., and J. Feferman, Model-Theoretic Logics, Springer, 1985.
4. Bergstra, J., J. Heering, and P.Klint, ‘Module algebra’, Journal of the Association for Computing Machinery, 37(2):335–372, 1990. An Institution-Independent Proof of the Robinson Consistency Theorem
5. Bicarregui, D. G. J., T. Dimitrakos and T. Maibaum, ‘Interpolation in practical formal development’, Logic Journal of the IGPL, 9(1):231–243, 2001.