@inproceedings{Voda88:0,
  title = {The Logical Reconstruction of Cuts as One Solution Operators},
  author = {Paul J. Voda},
  year = {1988},
  researchr = {https://researchr.org/publication/Voda88%3A0},
  cites = {0},
  citedby = {0},
  pages = {523-530},
  booktitle = {META},
}