Monadic Decomposition in Integer Linear Arithmetic.

Matthew Hague, Anthony W. Lin, Philipp Rmmer, Zhilin Wu

Browse the full CADE paper archive.