Transformation of generate and test logic programs

Khaled Bsaïes, Francis Alexandre, Alain Quéré. Transformation of generate and test logic programs. Meth. of Logic in CS, 1(3):355-377, 1994.

Abstract

Abstract is missing.