Skip to content

A strategy for transforming generate and test logic programs.

Khaled Bsaes

Year1992
ProceedingsSAC

Browse the full SAC paper archive.