The Complexity of the Hajós Calculus

Toniann Pitassi, Alasdair Urquhart. The Complexity of the Hajós Calculus. In 33rd Annual Symposium on Foundations of Computer Science, 24-27 October 1992, Pittsburgh, Pennsylvania, USA. pages 187-196, IEEE, 1992.

Abstract

Abstract is missing.