αCheck: A mechanized metatheory model checker
CHENEY, JAMES ; MOMIGLIANO, ALBERTO
Theory and practice of logic programming, 2017-05, Vol.17 (3), p.311-352
[Periódico revisado por pares]
Cambridge, UK: Cambridge University Press
Texto completo disponível