References to, includes from, and redirects to Playing first-order logic

Date	Name	Who	What
2015-01-25 19:38:29	forall	RLE	reference