Characterizing and Computing Stable Models of Logic Programs: The Non-Stratified Case (1999)

Cached

Download Links

by G. Brignoli , S. Costantini , A. Provetti
Citations:13 - 6 self