Margulies, S., Onn, S., & Pasechnik, D. (2015). On the complexity of Hilbert refutations for partition.

Margulies, S., S. Onn, and D. Pasechnik. On the Complexity of Hilbert Refutations for Partition. 2015.

Margulies, S., et al. On the Complexity of Hilbert Refutations for Partition. 2015.