See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/2808861 Guiding Equational Proofs By Attribute Functions Article · January 1999 Source: CiteSeer CITATIONS 0 READS 5 2 authors, including: Dieter Hutter Deutsches Forschungszentrum für Künstliche Intelligenz 131 PUBLICATIONS 1,110 CITATIONS SEE PROFILE All content following this page was uploaded by Dieter Hutter on 21 July 2015. The user has requested enhancement of the downloaded file. All in-text references underlined in blue are added to the original document and are linked to publications on ResearchGate, letting you access and read them immediately.