Roberto Bagnara Patricia M. Hill Enea Zaffanella A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract) http://arxiv.org/abs/0711.0345 2007 CoRR abs/0711.0345 db/journals/corr/corr0711.html#abs-0711-0345 informal publication