@conference{Avanzini:ESSLLI:10,
 author    = {Martin Avanzini},
 title     = {POP* and Semantic Labeling Using {SAT}},
 year      = {2009},
 booktitle = {Interfaces: Explorations in Logic, Language and Computation, {ESSLLI}
                  2008 and {ESSLLI} 2009 Student Sessions. Selected Papers},
 series    = {Lecture Notes in Computer Science},
 volume    = {6211},
 pages     = {155--166},
 publisher = {Springer},
 doi       = {10.1007/978-3-642-14729-6\_12},
 keywords  = {conference}
}