MiniTab

MaRDI QIDQ38055swMATHFDO

Official website https://link.springer.com/article/10.1007%2FBF00881950

Described by source

• A tableau prover for domain minimization

Cited in

(2)

• General domain circumscription and its first-order reduction
• THOT

This page was built for software: MiniTab