Pereira, L.M.Nerode, A.2022-03-022022-03-0219930-262-66083-0https://publica.fraunhofer.de/handle/publica/129823Logic programming and non-monotonic reasoning