Lawrence J. Henschen

• Embedded System Design
• Some new results on resolution in automated theorem proving