@inproceedings{Avanzini:ESSLLI:10,
 author    = "M. Avanzini",
 title     = {{POP* and Semantic Labeling Using SAT}},
 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",
 year      = 2010,
 publisher = "Springer Verlag Heidelberg",
}