%0 Book Section %1 conf/birthday/DixonF14 %A Dixon, Clare %A Fisher, Michael %B HOWARD-60 %D 2014 %E Voronkov, Andrei %E Korovina, Margarita V. %I EasyChair %K dblp %P 85-111 %T On and On the Temporal Way. %U http://dblp.uni-trier.de/db/conf/birthday/howard2014.html#DixonF14 %V 42

@incollection{conf/birthday/DixonF14, added-at = {2021-08-15T00:00:00.000+0200}, author = {Dixon, Clare and Fisher, Michael}, biburl = {https://www.bibsonomy.org/bibtex/258daa802dafe480b48061d018ba0ad1e/dblp}, booktitle = {HOWARD-60}, crossref = {conf/birthday/2014howard}, editor = {Voronkov, Andrei and Korovina, Margarita V.}, ee = {https://doi.org/10.29007/sz8j}, interhash = {a7f8b2349cb011c519d6221b1afbe539}, intrahash = {58daa802dafe480b48061d018ba0ad1e}, keywords = {dblp}, pages = {85-111}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T07:57:34.000+0200}, title = {On and On the Temporal Way.}, url = {http://dblp.uni-trier.de/db/conf/birthday/howard2014.html#DixonF14}, volume = 42, year = 2014 }