Robert A. Magnuson

• Project RMAG
• Symbolic logic retrieval users code
• Symbolic logic retrieval users guide