@unpublished{jl_2003/smv_system, title = "Das SMV-System", author = "Jens Lehmann", year = "2003", note = "Proseminar Modale Logik", }
Please send me an email if the BibTeX export is incorrect/incomplete.