Schema-based logic program transformation

Ankara : Department of Computer Engineering and Information Science and Institute of Engineering and Science, Bilkent Univ., 1997.Thesis (Master's) -- Bilkent University, 1997.Includes bibliographical references leaves 134-140Büyükyıldız, HalimeM.S