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