Use Elementary Column Operations to Calculate the Basis of the Null Space of a Matrix by Chen Bihong.
Vacuous quantification and free variables: historical and speculative reflections on LF