A Methodology for Constructing Logic Programs

Francis Alexandre, Khaled Bsaïes. A Methodology for Constructing Logic Programs. Fundamenta Informaticae, 29(3):203-223, 1997.

Abstract

Abstract is missing.