[1] H. Abramson, M. H. Rogers (eds): Meta-Programming in Logic Programming. MIT Press, Cambridge, MA 1989. MR 1059059

[2] R. Barták: Meta-interpretation of Logic Programs. Diploma Thesis, Faculty of Mathematics and Physics, Charles University, Prague 1993. (In Czech.)

[3] R. Barták, P. Štěpánek: Meta-interpreters and Expert Systems. Technical Report No. 115, Department of Computer Science, Faculty of Mathematics and Physics, Charles University, Prague 1995.

[4] R. Barták: Expert Systems Based on Constraints. Doctoral Dissertation, Faculty of Mathematics and Physics, Charles University, Prague 1997. (In Czech.)

[5] R. Barták: A plug-in architecture of constraint hierarchy solvers. In: Proceedings of PACT'97, London 1997, pp. 359-371.

[6] W. F. Clocksin, C. S. Mellish: Programming in PROLOG. Springer-Verlag, Berlin 1981. Zbl 0466.68009

[7] A. Jain L. Sterling, M. Kirschenbaum: Towards reusability based upon similar computational behaviour. In: Proceedings of the 7th International Conference on Software Engineering and Knowledge Engineering, Rockville 1995.

[8] A. Lakhotia L. Sterling, D. Bojantchev: Development of a PROLOG tracer by stepwise enhancement. In: Proceedings of the Third International Conference on Practical Applications of PROLOG, Paris 1995.

[9] M. Meier, P. Brisset: Open Architecture for CLP. TR ECRC-95-10, ECRC, 1995.

[10] N. J. Nilsson: Problem-Solving Methods in Artificial Intelligence. McGraw-Hill, New York 1971.

[11] K. Parsaye, M. Chignell: Expert Systems for Experts. Wiley, New York 1988.

[12] L. Sterling: Meta-interpreters: The flavors of logic programming?. In: Proceedings of Workshop on Foundation of Logic Programming and Deductive Databases, Washington 1986.

[13] L. Sterling: Constructing meta-interpreters for logic programs. In: Advanced School on Foundations of Logic Programming, Alghero 1988.

[14] L. Sterling A. Jain, M. Kirschenbaum: Composition based on skeletons and techniques. Work presented at ILPS '93 Post Conference Workshop on Methodologies for Composing Logic Programs.

[15] L. Sterling, M. Kirschenbaum: Applying techniques to skeletons. In: Constructing Logic Programs (J. M. J. Jacquet, ed.), Wiley, New York 1993.

[16] L. Sterling, A. Lakhotia: Composing PROLOG meta-interpreters. In: Proceedings of 5th International Logic Programming Conference, Seattle 1988.

[17] L. Sterling, E. Shapiro: The Art of PROLOG. MIT Press, Cambridge, MA 1986. Zbl 0605.68002

[18] M. Wilson, A. Borning: Hierarchical Constraint Logic Programming. TR 93-01-02a, Department of Computer Science and Engineering, University of Washington 1993. MR 1223015 | Zbl 0771.68038

[19] L. U. Yalginalp, L. Sterling: An Integrated Interpreter for Explaining PROLOG'S Successes and Failures. Case Western Reserve University, CES TR-88-04, 1988.