https://123dok.org/document/1y95jprz-tavole-semantiche-e-problemi-di-decidibilita.html