Three more KLEE-related papers.