On the unique satisfiability problem (1982)

by A Blass, Y Gurevich
Venue:Inform. and Control