@book{R-803-PR,
author="Di Paola, Robert",
title="The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results",
address="Santa Monica, CA",
year="1971",
doi="",
publisher="RAND Corporation"
}