Authors: David Posada, Keith A. Crandall
Year: 1998
DocumentationSubstitution (logic)Source codeComputer scienceCode (set theory)