On the unique satisfiability problem (1982)

by A BLASS, Y GUREVICH
Venue:Information and Control