A FOOLish Encoding of the Next State Relations of Imperative Programs.

Evgenii Kotelnikov, Laura Kovcs, Andrei Voronkov

Browse the full CADE paper archive.