Annalisa Bossi, Nicoletta Cocco. Basic Transformation Operations which Preserve Computed Answer Substitutions of Logic Programs. Journal of Logic and Algebraic Programming, 16(1):47-87, 1993.
@article{BossiC93, title = {Basic Transformation Operations which Preserve Computed Answer Substitutions of Logic Programs}, author = {Annalisa Bossi and Nicoletta Cocco}, year = {1993}, tags = {logic programming, logic, transformation, program transformation}, researchr = {https://researchr.org/publication/BossiC93}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {16}, number = {1}, pages = {47-87}, }