Observable Behaviors and Equivalences of Logic Programs (1992)

Cached

Download Links

by Maurizio Gabbrielli , Giorgio Levi , Maria Chiara Meo
Venue:Information and Computation
Citations:10 - 3 self