@book{RM-4436-PR,
author="Friedman, Joel",
title="The Decision Method for Real Algebra: Is It Practical?",
address="Santa Monica, CA",
year="1966",
doi="",
publisher="RAND Corporation"
}