Tjark Weber. Bounded Model Generation for Isabelle/HOL. Electronic Notes in Theoretical Computer Science, 125(3):103-116, 2005. [doi]
@article{Weber05-1,
title = {Bounded Model Generation for Isabelle/HOL},
author = {Tjark Weber},
year = {2005},
doi = {10.1016/j.entcs.2004.10.027},
url = {http://dx.doi.org/10.1016/j.entcs.2004.10.027},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/Weber05-1},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {125},
number = {3},
pages = {103-116},
}