@proceedings{DBLP:conf/lics/2007,
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {LICS},
	Publisher = {IEEE Computer Society},
	Title = {22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings},
	Year = {2007}}

{"_id":"vA5dYdaid8Y5mJ6pr","bibbaseid":"anonymous-22ndieeesymposiumonlogicincomputersciencelics20071012july2007wroclawpolandproceedings-2007","downloads":0,"creationDate":"2016-10-29T09:02:02.288Z","title":"22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings","author_short":null,"year":2007,"bibtype":"proceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","bibsource":"DBLP, http://dblp.uni-trier.de","booktitle":"LICS","publisher":"IEEE Computer Society","title":"22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings","year":"2007","bibtex":"@proceedings{DBLP:conf/lics/2007,\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tBooktitle = {LICS},\n\tPublisher = {IEEE Computer Society},\n\tTitle = {22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings},\n\tYear = {2007}}\n\n","key":"DBLP:conf/lics/2007","id":"DBLP:conf/lics/2007","bibbaseid":"anonymous-22ndieeesymposiumonlogicincomputersciencelics20071012july2007wroclawpolandproceedings-2007","urls":{},"downloads":0,"html":""},"search_terms":["22nd","ieee","symposium","logic","computer","science","lics","2007","july","2007","wroclaw","poland","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["7Z8XEkSJX2s636QcA"]}