Redundancy elimination and loop checks for logic programs
type: Item
instance of: scholarly article
title: Redundancy elimination and loop checks for logic programs
zbMATH Open document ID: 0834.68009
author: Filomena Ferrucci
author: Maria I. Sessa
author: Giuliano Pacini
published in: Information and Computation
publication date: 1995-08-02T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 772334
zbMATH Keywords: SLD-resolution
zbMATH Keywords: redundant atoms
MaRDI profile type: Publication
full work available at URL: inco.1995.1082
OpenAlex ID: W2023204491
DOI: 10.1006/INCO.1995.1082
description: scientific article; zbMATH DE number 772334