Simon Tucker
homepage: | http://www.dcs.shef.ac.uk/~sat/ |
search externally: | Google Scholar, Springer, CiteSeer, Microsoft Academic Search, Scirus , DBlife |
Lecture: