@InProceedings{ melissennsvki,
	Author = "Matthijs Melissen",
	Booktitle = "Proceedings of the 2nd NSVKI Student Conference",
	Title = "A solution to the emptiness problem for Lambek calculus and some of its extensions",
	Year = "2008",
	url = "http://www.matthijsmelissen.nl/site/publications/nsvki.pdf",
	editor = "J.H. Janssen and A. {Van Wissen} and T. Goosen",
	month = jun,
	location = "Utrecht"
}