This paper gives a simple, elegant statement of the condensed detachment rule that is independent of most general unifiers and proves that this is equivalent to the longer, more usual, formulation.
History
Citation
Bunder, M. W. (1995). A simplified form of condensed detachment. Journal of Logic, Language and Information, 4 (2), 169-173.
