BibTex format
@inproceedings{van:2010,
author = {van, Bakel S and Berardi, S and Berger, S},
title = {Proceedings Third International Workshop on Classical Logic and Computation CL&C 2010},
year = {2010}
}
Faculty of Engineering, Department of Computing
Senior Lecturer425Huxley BuildingSouth Kensington Campus