@proceedings{lopstr-2011,
  title = {International Symposium on Logic-Based Program Synthesis and Transformation, Proceedings},
  year = {2011},
  tags = {rule-based, logic programming, logic, transformation, program transformation},
  researchr = {https://researchr.org/publication/lopstr-2011},
  cites = {0},
  citedby = {0},
  booktitle = {International Symposium on Logic-Based Program Synthesis and Transformation, Proceedings},
  conference = {LOPSTR},
}