Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models.

K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka

Browse the full ICLP paper archive.