# A Generic Tableau Prover and its Integration with Isabelle

> Research article (http://www.jucs.org/jucs_5_3/a_generic_tableau_prover/Paulson_L_C.pdf, 2020) · cited 76× · AI/ML

**Wikidata**: [openalex:W1819951499](https://www.wikidata.org/wiki/openalex:W1819951499)  
**Source**: https://4ort.xyz/entity/a-generic-tableau-prover-and-its-integration-with-isabelle