Martin Avanzini. POP* and Semantic Labeling Using SAT. In Thomas Icard, Reinhard Muskens, editors, Interfaces: Explorations in Logic, Language and Computation, ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers. Volume 6211 of Lecture Notes in Computer Science, pages 155-166, Springer, 2009. [doi]
Abstract is missing.