@inproceedings{Wadge91,
  title = {Higher-Order Horn Logic Programming},
  author = {William W. Wadge},
  year = {1991},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/Wadge91},
  cites = {0},
  citedby = {0},
  pages = {289-303},
  booktitle = {ISLP},
}