1. R. Chadha: Applications of Unskolemization. Ph.D. dissertation, Dept. of Computer Science, Univ. of North Carolina, Chapel Hill (1991).
2. C. Chang, R.C. Lee: Symbolic Logic and Mechanical Theorem Proving, Academic Press Inc., New York (1973).
3. P.T. Cox, T. Pietrzykowski: A complete, nonredundant algorithm for reversed skolemization. Theoretical Computer Science, 28, 239–261 (1984).
4. R.W. Floyd: Assigning meanings to programs. Proc. Symp. on Applied Mathematics, American Mathematical Society, 19, 19–32 (1967).
5. D. Gries: The Science of Programming. Springer-Verlag (1981).