Transformations of logic programs with goals as arguments

Alberto Pettorossi, Maurizio Proietti. Transformations of logic programs with goals as arguments. TPLP, 4(4):495-537, 2004.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.