2022-08-312024-12-18https://grokube.sub.uni-goettingen.de/handle/123456789/156156Journal of Logic and Computation1465-363X0955-792X