Otter 3.3 Reference Manual

	otter33.tex
	otter33.ps
	otter33.pdf

MACE 2.0 Reference Manual and Guide

	mace2.tex
	mace2.ps
	mace2.pdf

A Davis-Putnam Program and Its Application to
Finite First-Order Model Search:
Quasigroup Existence Problems

	anldp.tex
	anldp.ps
	anldp.pdf



