Accelerating tableaux proofs using compact representations

From MaRDI portal
Publication:1334905