On the unique satis problem (1982)

by A Blass, Y Gurevich
Venue:Information and Control