A Quantifier-Free Completion of Logic Programs (1990)

Cached

Download Links

by Robert F. Stärk
Venue:Computer Science Logic, selected papers from CSL ’89
Citations:1 - 1 self