- Andreas Blass and Yuri Gurevich. On the unique satisfiability
problem. Information and Control, 55(1-3):80-88,
October/November/December 1982.
Abstract,
References,
and Citations.
- Andreas Blass, Yuri Gurevich, and Dexter Kozen. A zero-one law for logic with a
fixed-point operator. Information and Control,
67(1-3):70-90, October/November/December 1985.
Abstract,
References,
and Citations.
Shortcuts: