A Methodology for Constructing Logic Programs.

Francis Alexandre Khaled Bsaïes A Methodology for Constructing Logic Programs. 203-223 1997 29 Fundam. Inform. 3 db/journals/fuin/fuin29.html#AlexandreB97