D. Zini

Interfacing Computer Algebra and Deduction Systems via the Logic Broker Architecture

A. Armando, D. Zini, A. Armando, 2001 .

Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture

Alessandro Armando, Daniele Zini, A. Armando, 2000, WOA.