\textsf{Goéland}: a concurrent tableau-based theorem prover (system description)
scientific article; zbMATH DE number 7628198
scientific article