A first-order language for expressing sharing and type properties of logic programs
scientific article; zbMATH DE number 1563577