Polytool: Polynomial interpretations as a basis for termination analysis of logic programs

From MaRDI portal
Publication:3087808