Universal Finiteness and Satisfiability.

Inderpal Singh Mumick, Oded Shmueli

Browse the full PODS paper archive.