Carolina Ruiz. An implementation of the Boyer and Moore theorem prover. BS Thesis. Department of Computer Science. University of Los Andes. Bogotá, Colombia, 1988. (In Spanish).

Web Accessibility