Tropical Proof Systems: Between R(CP) and Resolution.

Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch

Browse the full STACS paper archive.