Publication:4263168
From MaRDI portal
zbMath0937.03016MaRDI QIDQ4263168
Peter Baumgartner, Norbert Eisinger, Ulrich Furbach
Publication date: 13 June 2000
proof procedures; connection calculus; backtrack-free control regimes; effective search strategy; proof confluence
DB lookup for MSC labels failed