Joohyung Lee, Yunsong Meng. Stable Models of Formulas with Generalized Quantifiers (Preliminary Report). In Agostino Dovier, VĂtor Santos Costa, editors, Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary. Volume 17 of LIPIcs, pages 61-71, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. [doi]
Abstract is missing.