Werner Dilger, Agnes Janson. Intelligent Backtracking in Deduction Systems by Means of Extended Unification Graphs. Journal of Automated Reasoning, 2(1):44-62, 1986.
@article{DilgerJ86,
title = {Intelligent Backtracking in Deduction Systems by Means of Extended Unification Graphs},
author = {Werner Dilger and Agnes Janson},
year = {1986},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/DilgerJ86},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {2},
number = {1},
pages = {44-62},
}