Converting AND-Control to OR-Control by Program Transformation

Maarten H. van Emden, Péter Szeredi. Converting AND-Control to OR-Control by Program Transformation. In Foundations of Deductive Databases and Logic Programming.. pages 699-709, 1988.

@incollection{EmdenS88,
  title = {Converting AND-Control to OR-Control by Program Transformation},
  author = {Maarten H. van Emden and Péter Szeredi},
  year = {1988},
  tags = {transformation, program transformation},
  researchr = {https://researchr.org/publication/EmdenS88},
  cites = {0},
  citedby = {0},
  pages = {699-709},
  booktitle = {Foundations of Deductive Databases and Logic Programming.},
}