1. Behmann, Heinrich. 1922. Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem. Mathematische Annalen 86: 163–229.
2. Dubislav, Walter. 1926. Über die definition. Berlin-Schöneberg: Hermann Weiß.
3. Dubislav, Walter. 1927. Über die definition. 2nd rev ed. Berlin-Schöneberg: Hermann Weiß.
4. Dubislav, Walter. 1928. Zur kalkülmäßigen Charakterisierung der Definitionen. Annalen der Philosophie und philosophischen Kritik 7: 136–145.
5. Dubislav, Walter. 1929. Elementarer Nachweis der Widerspruchslosigkeit des Logik-Kalküls. Journal für die reine und angewandte Mathematik 161: 107–112.