A Complete Axiomatization of the Three-Valued Completion of Logic Programs (1991)

Cached

Download Links

by Robert F. Stärk
Venue:Journal of Logic and Computation
Citations:11 - 6 self