Chin-Liang Chang, James R. Slagle. An Admissible and Optimal Algorithm for Searching AND/OR Graphs. Artificial Intelligence, 2(2):117-128, 1971.
@article{ChangS71, title = {An Admissible and Optimal Algorithm for Searching AND/OR Graphs}, author = {Chin-Liang Chang and James R. Slagle}, year = {1971}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/ChangS71}, cites = {0}, citedby = {0}, journal = {Artificial Intelligence}, volume = {2}, number = {2}, pages = {117-128}, }