Jens Otten. Restricting backtracking in connection calculi. AI Commun., 23(2-3):159-182, 2010. [doi]
@article{Otten10, title = {Restricting backtracking in connection calculi}, author = {Jens Otten}, year = {2010}, doi = {10.3233/AIC-2010-0464}, url = {http://dx.doi.org/10.3233/AIC-2010-0464}, researchr = {https://researchr.org/publication/Otten10}, cites = {0}, citedby = {0}, journal = {AI Commun.}, volume = {23}, number = {2-3}, pages = {159-182}, }