Higher-order algebra, logic, and term rewritingJan Heering, Karl Meinke, Bernhard Moller · First published 1994Open the Tome