https://9dok.net/document/q7w2dodn-wolpertinger-a-fixed-domain-reasoner.html