Publication:4524784
From MaRDI portal
zbMath0977.68076MaRDI QIDQ4524784
Peter Baumgartner, Ulrich Furbach
Publication date: 29 July 2001
proof theory; automated theorem proving; tableau calculus; connection tableaux; restart model elimination
DB lookup for MSC labels failed