Peter Baumgartner, Ulrich Furbach. Consolution as a Framework for Comparing Calculi. Journal of Symbolic Computation, 16(5):445-477, 1993.
@article{BaumgartnerF93, title = {Consolution as a Framework for Comparing Calculi}, author = {Peter Baumgartner and Ulrich Furbach}, year = {1993}, researchr = {https://researchr.org/publication/BaumgartnerF93}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {16}, number = {5}, pages = {445-477}, }