1. H. Bachya, Meta-level programming: A compiled approach, in: J.-L. Lassez (Ed.), Logic programming, Proceedings of the Fourth International Conference, MIT Press, Cambridge, MA, 1987, pp. 394–410
2. H. Bacha, MetaProlog design and implementation, in: R.A. Kowalski, K.A. Bowen (Eds.), Logic Programming, Proceedings of the Fifth International Conference, MIT Press, Cambridge, MA, 1988, pp. 1371–1387
3. Meta-level programming and knowledge representation;Bowen;New Generation Computing,1985
4. K.A. Bowen, R.A. Kowalski, Amalgamating language and meta-language in logic programming, in: K.L. Clark, S.Å. Tärnlund (Eds.), Logic Programming, Academic Press, New York, 1982, pp. 153–172
5. A.F. Bowers, C.A. Gurr, Towards fast and declarative meta-programming, in: K.A. Apt, F. Turini (Eds.), Meta-Logics and Logic Programming, MIT Press, Cambridge, MA, 1995, pp. 137–166