TY  - RPRT
TI  - Mining counterexamples for wide-signature algebras with an Isabelle server
AU  - Wesley Fussner
AU  - Boris Shminke
PY  - 2021
UR  - https://arxiv.org/abs/2109.05264
ID  - 2109.05264
ER  -