Publications

1996

• Higher order algebra, logic and term rewriting
  G. Dowek, J. Heering, K. Meinke, B. Möller (eds.)
  LNCS 1074, 1996.

1994

• Higher order algebra, logic and term rewriting
  Heering, K. Meinke, B. Möller, T. Nipkow (eds.)
  LNCS 816, 1994.
• Ordered and continuous models of higher-order specifications
  B. Möller
  In J. Heering, K. Meinke, B. Möller, T. Nipkow (eds.): Higher-Order algebra, logic and term rewriting, LNCS 816.
  pp. 223-255, 1994.
  Springer-Verlag.