Connectionbased theorem proving in classical and non-classical logics (1999)

by Christoph Kreitz, Jens Otten
Venue:Journal for Universal Computer Science, Special Issue on Integration of Deductive Systems