Manolis Gergatsoulis, Costas Spyropoulos. Transformations Techniques for Branching-time Logic programs. In W. W. Wadge (ed.), Proceedings of the 11th International Symposium on Languages for Intensional Programming (ISLIP'98), pp. 65-80, Palo Alto, California, May 7-9, 1998.


  1. Petros Potikas. Program transformations in deductive databases using Intensional Logic Programming. Ph.D. Thesis. Department of Electrical and Computer Engineering National Technical University of Athens (NTUA), Greece, June 2006.