Unary Resolution: Characterizing Ptime.

Clment Aubert, Marc Bagnol, Thomas Seiller

Browse the full FOSSACS paper archive.