Ulrich Junker. Variations on Backtracking for TMS. In João P. Martins, Michael Reinfrank, editors, Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings. Volume 515 of Lecture Notes in Computer Science, pages 17-33, Springer, 1990.
@inproceedings{Junker90, title = {Variations on Backtracking for TMS}, author = {Ulrich Junker}, year = {1990}, researchr = {https://researchr.org/publication/Junker90}, cites = {0}, citedby = {0}, pages = {17-33}, booktitle = {Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings}, editor = {João P. Martins and Michael Reinfrank}, volume = {515}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-54305-8}, }