K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka. Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. In Philippe Codognet, editor, Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Volume 2237 of Lecture Notes in Computer Science, pages 227-241, Springer, 2001. [doi]
Abstract is missing.