Deriving constraints among argument sizes in logic programs
scientific article; zbMATH DE number 1036987