Deriving linear size relations for logic programs by abstract interpretation Danny De SchreyeKristof Verschaetse Regular Papers Pages: 117 - 154
Computing as compression: An overview of the SP theory and system J. Gerard Wolff Regular Papers Pages: 187 - 214