A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties

A packaging structure for an article of furniture such as an end frame of a bed is disclosed.