Extending AlgBench with a Type System. - Stephan A. Missura (DISCO, 1993)

Theories = Signatures + Propositions Used as Types. - Stephan A. Missura (AISMC, 1994)

Using Commutativity Properties for Controlling Coercions. - Stephan A. Missura; Andreas Weber 004 (AISMC, 1994)