@inproceedings{HOWARD-60:Howard_Barringer_Man_who,
author = {Klaus Havelund},
title = {Howard Barringer: the Man who Invented the Past},
booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
editor = {Andrei Voronkov and Margarita Korovina},
series = {EPiC Series in Computing},
volume = {42},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/VJ},
doi = {10.29007/65lt},
pages = {1-12},
year = {2014}}