Authors: Kuchyňka, Petr, Raclavský, Jiří

Superior Title: Journal of Logic & Computation; Jan2024, Vol. 34 Issue 1, p1-32, 32p

Subject Terms: LOGIC