Iain A. Stewart. Using the Hamiltonian Path Operator to Capture NP. J. Comput. Syst. Sci., 45(1):127-151, 1992.
@article{Stewart92:1, title = {Using the Hamiltonian Path Operator to Capture NP}, author = {Iain A. Stewart}, year = {1992}, researchr = {https://researchr.org/publication/Stewart92%3A1}, cites = {0}, citedby = {0}, journal = {J. Comput. Syst. Sci.}, volume = {45}, number = {1}, pages = {127-151}, }