Advances in Property-Based Testing for alpha Prolog. - James Cheney; Alberto Momigliano; Matteo Pessina (TAP@STAF, 2016)

Advances in Property-Based Testing for $α$Prolog. - James Cheney; Alberto Momigliano; Matteo Pessina (CoRR, 2016)