Title

A Theorem Prover for a Diagrammatic Blocks World

Document Type

Conference Proceeding

Publication Date

2006

External Access URL

https://www.rose-hulman.edu/~wollowsk/DTProver.pdf