@inproceedings{EPTCS320.1,
    Author = {Pettorossi, Alberto},
    BookTitle = {{\rm Proceedings 8th International Workshop on} Verification and Program Transformation {\rm and 7th Workshop on} Horn Clauses for Verification and Synthesis, {\rm Dublin, Ireland, 25-26th April 2020}},
    Editor = {Fribourg, Laurent and Heizmann, Matthias},
    File = {A Historical Account of My Early Research Interests - paper - a - z.pdf},
    Pages = {1-28},
    Publisher = {Open Publishing Association},
    Series = {Electronic Proceedings in Theoretical Computer Science},
    Title = {A Historical Account of My Early Research Interests},
    Volume = {320},
    Year = {2020},
    bdsk-url-1 = {https://doi.org/10.4204/EPTCS.320.1},
    date-added = {2020-08-07 11:27:44 +0200},
    date-modified = {2020-08-07 11:27:44 +0200},
    doi = {10.4204/EPTCS.320.1}
}

@inproceedings{EPTCS320.1, Author = {Pettorossi, Alberto}, BookTitle = {{\rm Proceedings 8th International Workshop on} Verification and Program Transformation {\rm and 7th Workshop on} Horn Clauses for Verification and Synthesis, {\rm Dublin, Ireland, 25-26th April 2020}}, Editor = {Fribourg, Laurent and Heizmann, Matthias}, File = {A Historical Account of My Early Research Interests - paper - a - z.pdf}, Pages = {1-28}, Publisher = {Open Publishing Association}, Series = {Electronic Proceedings in Theoretical Computer Science}, Title = {A Historical Account of My Early Research Interests}, Volume = {320}, Year = {2020}, bdsk-url-1 = {https://doi.org/10.4204/EPTCS.320.1}, date-added = {2020-08-07 11:27:44 +0200}, date-modified = {2020-08-07 11:27:44 +0200}, doi = {10.4204/EPTCS.320.1} }