Circumscribing embedded implications (without stratifications (1992)

by L T McCarty
Venue:Journal of Logic Programming