Selected publications at LSV

@mastersthesis{m2-lick,
   author = {Lick, Anthony},
   month = aug,
   note = {20~pages},
   school = {{M}aster {P}arisien de {R}echerche en {I}nformatique, Paris, France},
   type = {Rapport de {M}aster},
   title = {Syst{\`e}mes de preuves pour logiques modales},
   url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/m2-lick.pdf},
   year = {2016},
}

About LSV

Select by Year