https://9dok.net/document/q5m0r76g-pr-adikatenlogische-entscheidbarkeitsprobleme.html