arXiv 2001-01-17 EN On the problem of computing the well-founded semantics Lonc, Zbigniew · Truszczynski, Miroslaw